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
01.04.2026 um 06:19 Uhr
01.04.2026 um 06:19 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:
9783030007867 - Enterprise and Organizational Modeling and Simulat...9783319494531 - Enterprise and Organizational Modeling and Simulat...
9783319471686 - Leveraging Applications of Formal Methods Verifica...
9783642041662 - Formal Methods for Components and Objects Kartonie...
9783642034589 - Foundations and Applications of Security Analysis ...
9783319229744 - Formal Modeling and Analysis of Timed Systems Kart...
9783319228846 - Service-Oriented Computing - ICSOC 2014 Workshops ...
9783030034177 - Leveraging Applications of Formal Methods Verifica...
9783319246253 - Enterprise and Organizational Modeling and Simulat...
9783319684987 - Reliability Safety and Security of Railway Systems...
9783642316227 - Descriptional Complexity of Formal Systems Kartoni...
9783319196282 - Trends in Practical Applications of Agents Multi-A...
kürzlich hinzugefügt:
9783642033582 - Theorem Proving in Higher Order Logics Kartoniert ...9781484243053 - Complex Enterprise Architecture - John McDowall Ka...
9783319671123 - Critical Systems Formal Methods and Automated Veri...
9783319448770 - Formal Modeling and Analysis of Timed Systems Kart...
9783540555995 - PARLE 92 Parallel Architectures and Languages Euro...
9783642316227 - Descriptional Complexity of Formal Systems Kartoni...
9783319498140 - Formal Methods Foundations and Applications Karton...
9783642358609 - Formal Aspects of Component Software Kartoniert (T...
9783319458915 - Software Engineering for Resilient Systems Kartoni...
9783319681849 - Enterprise and Organizational Modeling and Simulat...
9783642336089 - Model and Data Engineering Kartoniert (TB)...
9783642255342 - Service Oriented Computing Kartoniert (TB)...