NASA Formal Methods bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783319406473

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319406473

EAN/GTIN:
9783319406473

Suchbegriffe:

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Weitere Informationen:


Author:	Sanjai Rayadurgam; Oksana Tkachuk
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, autonomous vehicles, formal logic, formal methods, formal verification, model checking, programming languages, real-time systems, semantics, software engineering, static analysis