EAN: 9783319107011
Bilder-Quelle: discount24.de - Sport-Freizeit
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems FMICS 2014 held in Florence Italy in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems computer networks railway control systems verification methods and hardware and software testing.
Produktinformationen zuletzt aktualisiert am
20.08.2026 um 19:55 Uhr
20.08.2026 um 19:55 Uhr
Hersteller
-
EAN
9783319107011
MPN
-
ASIN
3319107011
Produktgruppe
-
Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783030034269 - Leveraging Applications of Formal Methods Verifica...9781119709855 - Saeed John I Semantics...
9783319465074 - Transactions on Foundations for Mastering Change I...
9783031131875 - Computer Aided Verification Kartoniert (TB)...
9783030034177 - Leveraging Applications of Formal Methods Verifica...
9783030034238 - Leveraging Applications of Formal Methods Verifica...
9783954761708 - Markus Karstieß - Irden - Frank Böhm Ricarda Dic...
9783031011573 - Synthesis Lectures on Information Concepts Retriev...
9783319011943 - Mathematical Physics - Sadri Hassani Gebunden...
9783110763713 - Contemporary Polish Ontology Kartoniert (TB)...
9783319099309 - A Rigorous Semantics for BPMN 20 Process Diagrams ...
9783110625004 - Digital Processing of Random Oscillations - Viache...
kürzlich hinzugefügt:
9783319099309 - A Rigorous Semantics for BPMN 20 Process Diagrams ...9783662491683 - Supermathematics and its Applications in Statistic...
9783319465074 - Transactions on Foundations for Mastering Change I...
9783031011573 - Synthesis Lectures on Information Concepts Retriev...
9783110763713 - Contemporary Polish Ontology Kartoniert (TB)...
9783030034269 - Leveraging Applications of Formal Methods Verifica...
9783031131844 - Computer Aided Verification Kartoniert (TB)...
9783030034177 - Leveraging Applications of Formal Methods Verifica...
9783030034207 - Leveraging Applications of Formal Methods Verifica...
9783030034238 - Leveraging Applications of Formal Methods Verifica...
9783954761708 - Markus Karstieß - Irden - Frank Böhm Ricarda Dic...
9783031131875 - Computer Aided Verification Kartoniert (TB)...