
EAN: 9783319657646

Bilder-Quelle: discount24.de - Sport-Freizeit
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2017 held in Berlin Germany in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and as a generalization hybrid systems.
Produktinformationen zuletzt aktualisiert am
05.07.2025 um 17:16 Uhr
05.07.2025 um 17:16 Uhr
Hersteller
-
EAN
9783319657646
MPN
-
ASIN
331965764X
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783642243097 - Formal Modeling and Analysis of Timed Systems Kart...9783642382291 - Web Services and Formal Methods Kartoniert (TB)...
9783642006647 - Logic Language and Computation Kartoniert (TB)...
9783642336089 - Model and Data Engineering Kartoniert (TB)...
9783319914787 - Information Processing and Management of Uncertain...
9783319498140 - Formal Methods Foundations and Applications Karton...
9783319264219 - SpringerBriefs in Optimization Intentional Risk ...
9783319471655 - Leveraging Applications of Formal Methods Verifica...
9783319681849 - Enterprise and Organizational Modeling and Simulat...
9783319458915 - Software Engineering for Resilient Systems Kartoni...
9783319105741 - Handbook of Model Checking Gebunden...
9783642041662 - Formal Methods for Components and Objects Kartonie...
kürzlich hinzugefügt:
9783319312194 - Structured Object-Oriented Formal Language and Met...9789811074660 - Mobile Agent-Based Anomaly Detection and Verificat...
9783030007867 - Enterprise and Organizational Modeling and Simulat...
9783030030438 - Formal Methods Foundations and Applications Karton...
9783319478456 - Formal Methods and Software Engineering Kartoniert...
9783319175232 - NASA Formal Methods Kartoniert (TB)...
9781493969043 - Handbook of Bioenergy Economics and Policy Volume ...
9783319105741 - Handbook of Model Checking Gebunden...
9783319671123 - Critical Systems Formal Methods and Automated Veri...
9783319914787 - Information Processing and Management of Uncertain...
9783642034589 - Foundations and Applications of Security Analysis ...
9783319334097 - Modelling and Implementation of Complex Systems Ka...