Model Checking Software bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783540401179

Hersteller:
Springer Verlag

Herst.-Nr.:
9783540401179

EAN/GTIN:
9783540401179

Suchbegriffe:

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Weitere Informationen:


Author:	Thomas Ball; Sriram K. Rajamani
Verlag:	Springer Berlin
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Testmethoden, Programmieren (EDV) / Entwicklung, SPIN, SPIN model checking, abstract interpretation, abstraction, explicit model checking, formal methods, formal specification, formal verification, modal verification