Suchergebnisse für "formalmethods"

637 Artikel

Provably Correct Systems (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Provably Correct Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. März 2017
Springer International Publishing
Auch erhältlich als
Gebundenes Buch74,99 €
Formal Verification of Simulink/Stateflow Diagrams (eBook, PDF)
117,69 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Naijun Zhan
Shuling Wang
Hengjun Zhao
Formal Verification of Simulink/Stateflow Diagrams (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. November 2016
Springer International Publishing
Auch erhältlich als
Broschiertes Buch85,99 €
Gebundenes Buch85,99 €
Coordination Models and Languages (eBook, PDF)
65,44 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Coordination Models and Languages (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. April 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Hagenberg Business Process Modelling Method (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Felix Kossak
Christa Illibauer
Verena Geist
…mehr Autoren
Christine Natschläger
Thomas Ziebermayr
Bernhard Freudenthaler
Theodorich Kopetzky
Klaus-Dieter Schewe
Hagenberg Business Process Modelling Method (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. April 2016
Springer International Publishing
Auch erhältlich als
Broschiertes Buch74,99 €
Gebundenes Buch74,99 €
Formal Techniques for Safety-Critical Systems (eBook, PDF)
59,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Formal Techniques for Safety-Critical Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
15. April 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Validation of Evolving Software (eBook, PDF)
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Validation of Evolving Software (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. Juli 2015
Springer International Publishing
Auch erhältlich als
Gebundenes Buch37,99 €
Application and Theory of Petri Nets and Concurrency (eBook, PDF)
59,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Application and Theory of Petri Nets and Concurrency (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. Juni 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Mathematics of Program Construction (eBook, PDF)
59,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Mathematics of Program Construction (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. Juni 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Model-Driven Dependability Assessment of Software Systems (eBook, PDF)
71,95 €
Sofort per Download lieferbar
Versandkostenfrei
Simona Bernardi
José Merseguer
Dorina Corina Petriu
Model-Driven Dependability Assessment of Software Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Oktober 2013
Springer Berlin
Auch erhältlich als
Broschiertes Buch74,99 €
Gebundenes Buch74,99 €
Model-Driven Design Using IEC 61499 (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Li Hsien Yoong
Partha S. Roop
Zeeshan E. Bhatti
…mehr Autoren
Matthew M. Y. Kuo
Model-Driven Design Using IEC 61499 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. November 2014
Springer International Publishing
Auch erhältlich als
Broschiertes Buch79,99 €
Gebundenes Buch74,99 €
Reliable Software Technologies – Ada-Europe 2015 (eBook, PDF)
51,16 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Reliable Software Technologies – Ada-Europe 2015 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. Juni 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch36,99 €
Computer Aided Verification (eBook, PDF)
67,82 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Computer Aided Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. Juli 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Computer Aided Verification (eBook, PDF)
83,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Computer Aided Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
15. Juli 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch38,99 €
Formal Techniques for Distributed Objects, Components, and Systems (eBook, PDF)
65,44 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Formal Techniques for Distributed Objects, Components, and Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
5. Mai 2015
Springer / Springer International Publishing
Auch erhältlich als
Broschiertes Buch38,99 €
Quality-Driven SystemC Design (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Daniel Große
Rolf Drechsler
Quality-Driven SystemC Design (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. Dezember 2009
Springer Netherland
Auch erhältlich als
Broschiertes Buch74,99 €
Gebundenes Buch74,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON