Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 

Model Checking, Synthesis, and Learning


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783030913830
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783030913830
EAN/GTIN:
     9783030913830
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.
Weitere Informationen:
Author:
Ernst-Rüdiger Olderog; Bernhard Steffen; Wang Yi
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecture verification and validation, artificial intelligence, automata, automata theory, computer programming, embedded systems, formal languages, formal logic, formal methods, graph theory, linguistics
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 64,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.