Computer Aided Verification bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783642397981

Hersteller:
Springer Verlag

Herst.-Nr.:
9783642397981

EAN/GTIN:
9783642397981

Suchbegriffe:

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Weitere Informationen:


Author:	Natasha Sharygina; Helmut Veith
Verlag:	Springer Berlin
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, LTL synthesis; algorithms; automata; model checking; verification tools, LTL synthesis, algorithms, automata, model checking, verification tools