Suchergebnisse für ""M. Bidoit""

Systems and Software Verification (eBook, PDF)
104,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
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
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
106,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 edition 2001
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-07478-3

Ähnliche Artikel

Petri Nets for Systems Engineering (eBook, PDF)
72,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
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
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 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
29. März 2006
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
30. August 2007
Springer Berlin Heidelberg
High-level Petri Nets (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
High-level Petri Nets (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer Berlin Heidelberg
Theoretical Aspects of Computing - ICTAC 2009 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Theoretical Aspects of Computing - ICTAC 2009 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. August 2009
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 Berlin Heidelberg
Formal Methods and Software Engineering (eBook, PDF)
72,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods and Software Engineering (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
23. November 2006
Springer Berlin Heidelberg
Theoretical Aspects of Computing - ICTAC 2008 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Theoretical Aspects of Computing - ICTAC 2008 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. August 2008
Springer Berlin Heidelberg


Ähnlichkeitssuche: Fact®Finder von OMIKRON