Kategorien
Deutschland
Deutsch
Konto
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  > Artikel

Integrated Formal Methods


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     858A-9783319336923
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783319336923
EAN/GTIN:
     9783319336923
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Weitere Informationen:
Author:
Erika Ábrahám; Marieke Huisman
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, decision procedures, hybrid systems, model checking, program synthesis, semantics, abstractions and refinement, component-based systems, formal methods, formal modelling, monitoring, performance evaluation
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 79,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.