Suchergebnisse für "modelchecking"

1302 Artikel

Automated Reasoning (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Automated Reasoning (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. Juli 2014
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch39,99 €
Hardware and Software: Verification and Testing (eBook, PDF)
36,95 €
Sofort per Download lieferbar
Versandkostenfrei
Hardware and Software: Verification and Testing (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. Juli 2013
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch34,99 €
Specification, Algebra, and Software (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Specification, Algebra, and Software (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. März 2014
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch39,99 €
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juni 2013
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juni 2013
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juni 2013
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juni 2013
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computational Science and Its Applications -- ICCSA 2013 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Juni 2013
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Formal Methods and Software Engineering (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods and Software Engineering (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. November 2015
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Transactions on Petri Nets and Other Models of Concurrency VI (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Transactions on Petri Nets and Other Models of Concurrency VI (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
14. November 2012
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
Stabilization, Safety, and Security of Distributed Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Stabilization, Safety, and Security of Distributed Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
28. September 2012
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch38,99 €
Formal Techniques for Safety-Critical Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Techniques for Safety-Critical Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. April 2020
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €
System Level Design from HW/SW to Memory for Embedded Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
System Level Design from HW/SW to Memory for Embedded Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
16. April 2018
Springer-Verlag GmbH
Auch erhältlich als
Gebundenes Buch37,99 €
Interactive Theorem Proving (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Interactive Theorem Proving (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. Juli 2018
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch66,99 €
Dependable Software Engineering. Theories, Tools, and Applications (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Dependable Software Engineering. Theories, Tools, and Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. August 2018
Springer-Verlag GmbH
Auch erhältlich als
Broschiertes Buch37,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON