Suchergebnisse für "modelchecking"

1305 Artikel

Static Analysis (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Static Analysis (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
16. August 2017
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Formal Methods - Fun for Everybody (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods - Fun for Everybody (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
10. März 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Quantitative Evaluation of Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Quantitative Evaluation of Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. November 2020
Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Integrated Formal Methods (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Integrated Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. November 2020
Springer International Publishing
Auch erhältlich als
Broschiertes Buch37,99 €
Runtime Verification (eBook, PDF)
52,95 €
Sofort per Download lieferbar
Versandkostenfrei
Runtime Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. Oktober 2019
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch48,99 €
Software Engineering and Formal Methods (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Software Engineering and Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juni 2016
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Intelligent Computer Mathematics (eBook, PDF)
32,95 €
Sofort per Download lieferbar
Versandkostenfrei
Intelligent Computer Mathematics (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
11. Juli 2016
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch31,99 €
Critical Systems: Formal Methods and Automated Verification (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Critical Systems: Formal Methods and Automated Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
12. September 2016
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Computer Performance Engineering (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computer Performance Engineering (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. August 2017
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Fields of Logic and Computation II (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Fields of Logic and Computation II (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
5. September 2015
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Model-Based Safety and Assessment (eBook, PDF)
38,95 €
Sofort per Download lieferbar
Versandkostenfrei
Model-Based Safety and Assessment (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
24. September 2014
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch36,99 €
Tests and Proofs (eBook, PDF)
53,49 €**
40,95 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Tests and Proofs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
21. Juni 2022
Springer International Publishing
Auch erhältlich als
Broschiertes Buch53,49 €
NASA Formal Methods (eBook, PDF)
69,95 €
Sofort per Download lieferbar
Versandkostenfrei
NASA Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. Mai 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch63,99 €
Reachability Problems (eBook, PDF)
65,95 €
Sofort per Download lieferbar
Versandkostenfrei
Reachability Problems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. Oktober 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch59,99 €
NASA Formal Methods (eBook, PDF)
59,95 €
Sofort per Download lieferbar
Versandkostenfrei
NASA Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
10. August 2020
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch57,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON