Suchergebnisse für ""M. Bidoit""

Systems and Software Verification (eBook, PDF)
105,95 €
Sofort per Download lieferbar
Versandkostenfrei
B. Berard
M. Bidoit
A. Finkel
…mehr Autoren
F. Laroussinie
A. Petit
L. Petrucci
P. Schnoebelen
Systems and Software Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Springer Berlin Heidelberg
Auch erhältlich als
Broschiertes Buch103,99 €
CASL User Manual
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
M. Bidoit
P. D. Mosses
CASL User Manual
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Introduction to Using the Common Algebraic Specification Language
2004
29. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20766-5
Auch erhältlich als
eBook, PDF40,95 €
Systems and Software Verification
103,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
B. Berard
M. Bidoit
A. Finkel
Systems and Software Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Model-Checking Techniques and Tools
Softcover reprint of hardcover 1st ed. 2001
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-07478-3

Ähnliche Artikel

SPIN Model Checking and Software Verification (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
SPIN Model Checking and Software Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. Dezember 2006
Springer Berlin Heidelberg
FME 2001: Formal Methods for Increasing Software Productivity (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
FME 2001: Formal Methods for Increasing Software Productivity (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Juni 2003
Springer Berlin Heidelberg
Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. März 2004
Springer Berlin Heidelberg
Foundations of Software Science and Computation Structures (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Foundations of Software Science and Computation Structures (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. Dezember 2007
Springer Berlin Heidelberg
Petri Nets for Systems Engineering (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Claude Girault
Rüdiger Valk
Petri Nets for Systems Engineering (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
14. März 2013
Springer Berlin Heidelberg
Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)
38,95 €
Sofort per Download lieferbar
Versandkostenfrei
Dependable Software Engineering: Theories, Tools, and Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
16. Oktober 2015
Springer-Verlag GmbH
Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Juni 2003
Springer Berlin Heidelberg
Petri Net Technology for Communication-Based Systems (eBook, PDF)
53,49 €**
40,95 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Petri Net Technology for Communication-Based Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. November 2003
Springer Berlin Heidelberg
Model Checking Software (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Model Checking Software (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. August 2005
Springer-Verlag GmbH
Formal Methods for Computational Systems Biology (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods for Computational Systems Biology (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. Mai 2008
Springer-Verlag GmbH


Ähnlichkeitssuche: Fact®Finder von OMIKRON