Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 

Formal Modeling and Verification of Cyber-Physical Systems


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     858A-9783658099930
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783658099930
EAN/GTIN:
     9783658099930
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Weitere Informationen:
Author:
Rolf Drechsler; Ulrich Kühne
Verlag:
Springer Fachmedien Wiesbaden GmbH
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Computer / PC-Hardware, Cyber physical systems; Robotics; System Design; aerospace systems; cyber-physical systems; embedded real-time systems; formal methods; modeling, aerospace systems, cyber physical systems, cyber-physical systems, embedded real-time systems, formal methods, modeling, robotics, system design
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.