Verified Software. Theories, Tools and Experiments

Menge:

Stück

Produktinformationen

Artikel-Nr.:
858A-9783031660634

Hersteller:
Springer Verlag

Herst.-Nr.:
9783031660634

EAN/GTIN:
9783031660634

Suchbegriffe:

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Weitere Informationen:


Author:	Andrew Reynolds; Serdar Tasiran
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, software verification; Verification Theory; automated reasoning; verification tools; Software Verification Experiments, Software Verification, Verification Theory, Automated Reasoning, Verification Tools, Software Verification Experiments

Die Konditionen im Überblick¹

Lieferzeit

Lagerstand

Preis

€ 49,99*