Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 

Computer Aided Verification


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783031656262
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783031656262
EAN/GTIN:
     9783031656262
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Weitere Informationen:
Author:
Arie Gurfinkel; Vijay Ganesh
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Applications; Computer Science; Open Access; conference proceedings; informatics; research, Computer Science, Informatics, Conference Proceedings, Research, Applications, Open Access
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 39,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.