
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
04.10.2025 um 09:08 Uhr
04.10.2025 um 09:08 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:
9781441906489 - The Power of Profit - Ali Anari James W Kolari Geb...9783030034238 - Leveraging Applications of Formal Methods Verifica...
9783642336089 - Model and Data Engineering Kartoniert (TB)...
9783030034269 - Leveraging Applications of Formal Methods Verifica...
9783319952451 - Principles of Modeling Kartoniert (TB)...
9783642030789 - Conceptual Structures Leveraging Semantic Technolo...
9783319246253 - Enterprise and Organizational Modeling and Simulat...
9783030007867 - Enterprise and Organizational Modeling and Simulat...
9783663098249 - European Consortium for Mathematics in Industry ...
9783031007781 - Synthesis Lectures on Data Mining and Knowledge Di...
9781484243053 - Complex Enterprise Architecture - John McDowall Ka...
9783319577074 - Structured Object-Oriented Formal Language and Met...
kürzlich hinzugefügt:
9783319914756 - Information Processing and Management of Uncertain...9783319498140 - Formal Methods Foundations and Applications Karton...
9783642243097 - Formal Modeling and Analysis of Timed Systems Kart...
9783319530420 - Cellular Automata Analysis and Applications - Karl...
9783319684987 - Reliability Safety and Security of Railway Systems...
9783319312194 - Structured Object-Oriented Formal Language and Met...
9783319914725 - Information Processing and Management of Uncertain...
9783031010194 - Synthesis Lectures on Human Language Technologies ...
9783662472200 - Cellular Automata and Discrete Complex Systems Kar...
9783030034177 - Leveraging Applications of Formal Methods Verifica...
9783319105116 - Formal Modeling and Analysis of Timed Systems Kart...
9783662484951 - Tensor Analysis and Elementary Differential Geomet...