Suchergebnisse für "formalmethods"

660 Artikel

Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Software Engineering and Formal Methods
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
2014
4. August 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-10430-0
Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Software Engineering and Formal Methods
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
2015
26. Februar 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-15200-4
Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Software Engineering and Formal Methods
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
1st ed. 2016
23. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-41590-1
Estimation and Inference in Discrete Event Systems (eBook, PDF)
139,09 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Christoforos N. Hadjicostis
Estimation and Inference in Discrete Event Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. Oktober 2019
Springer International Publishing
Auch erhältlich als
Broschiertes Buch103,99 €
Gebundenes Buch103,99 €
Formal Analysis by Abstract Interpretation (eBook, PDF)
64,19 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Benjamin Aziz
Formal Analysis by Abstract Interpretation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. Dezember 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch44,99 €
Rigorous State-Based Methods (eBook, PDF)
78,10 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Rigorous State-Based Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Mai 2020
Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Modelling and Verification of Secure Exams (eBook, PDF)
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Rosario Giustolisi
Modelling and Verification of Secure Exams (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. März 2018
Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Gebundenes Buch37,99 €
New Data Structures and Algorithms for Logic Synthesis and Verification (eBook, PDF)
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Luca Gaetano Amaru
New Data Structures and Algorithms for Logic Synthesis and Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. August 2016
Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Gebundenes Buch37,99 €
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 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON