Kategorien
Deutschland
Deutsch
Mein Mercateo
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  > Artikel

Model Checking Software


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     858A-9783030309220
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783030309220
EAN/GTIN:
     9783030309220
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Weitere Informationen:
Author:
Fabrizio Biondi; Thomas Given-Wilson; Axel Legay
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, artificial intelligence, computer architecture, formal methods, model checking, software engineering, software evaluation, specifications, verification, algorithm analysis and problem complexity
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 49,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.