Computer Aided Verification bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783319415277

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319415277

EAN/GTIN:
9783319415277

Suchbegriffe:

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Weitere Informationen:


Author:	Swarat Chaudhuri; Azadeh Farzan
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, distributed systems, formal methods, model checking, verification, Web security, abstract interpretation, automata, case study, concurrency, fault tolerance, nonlinear systems