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
19.11.2025 um 07:48 Uhr
19.11.2025 um 07:48 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:
9783319671123 - Critical Systems Formal Methods and Automated Veri...9783030034207 - Leveraging Applications of Formal Methods Verifica...
9783319334097 - Modelling and Implementation of Complex Systems Ka...
9783540001416 - Formal Techniques for Networked and Distributed Sy...
9783319952451 - Principles of Modeling Kartoniert (TB)...
9783319105116 - Formal Modeling and Analysis of Timed Systems Kart...
9783319914725 - Information Processing and Management of Uncertain...
9781493969043 - Handbook of Bioenergy Economics and Policy Volume ...
9783642358333 - Digital Libraries and Archives Kartoniert (TB)...
9783031012167 - Synthesis Lectures on Information Security Privacy...
9783319756073 - Traffic Mining Applied to Police Activities Karton...
9783319471655 - Leveraging Applications of Formal Methods Verifica...
kürzlich hinzugefügt:
9783030001506 - Formal Modeling and Analysis of Timed Systems Kart...9783642358609 - Formal Aspects of Component Software Kartoniert (T...
9783662484951 - Tensor Analysis and Elementary Differential Geomet...
9783030034207 - Leveraging Applications of Formal Methods Verifica...
9783319498119 - Deductive Software Verification - The KeY Book Kar...
9781447128847 - Dynamics and Control of Switched Electronic System...
9783319099309 - A Rigorous Semantics for BPMN 20 Process Diagrams ...
9783319494531 - Enterprise and Organizational Modeling and Simulat...
9783642402289 - Formal Modeling and Analysis of Timed Systems Kart...
9783319996073 - Distributed Computing and Artificial Intelligence ...
9783030034269 - Leveraging Applications of Formal Methods Verifica...
9783642382291 - Web Services and Formal Methods Kartoniert (TB)...