Computer Aided Verification bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783031131844

Hersteller:
Springer Verlag

Herst.-Nr.:
9783031131844

EAN/GTIN:
9783031131844

Suchbegriffe:

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Weitere Informationen:


Author:	Sharon Shoham; Yakir Vizel
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, distributed computer systems, distributed systems, embedded systems, formal logic, mathematics