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
08.08.2026 um 19:24 Uhr
08.08.2026 um 19:24 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:
9783319657646 - Formal Modeling and Analysis of Timed Systems Kart...9783319914725 - Information Processing and Management of Uncertain...
9783031483219 - Fundamentals of Information Systems Interoperabili...
9783319478456 - Formal Methods and Software Engineering Kartoniert...
9783663098249 - European Consortium for Mathematics in Industry ...
9781441906489 - The Power of Profit - Ali Anari James W Kolari Geb...
9783319671123 - Critical Systems Formal Methods and Automated Veri...
9783540208037 - Verification Model Checking and Abstract Interpret...
9783662472200 - Cellular Automata and Discrete Complex Systems Kar...
9783662484951 - Tensor Analysis and Elementary Differential Geomet...
9783642413650 - Model and Data Engineering Kartoniert (TB)...
9783642243097 - Formal Modeling and Analysis of Timed Systems Kart...
kürzlich hinzugefügt:
9783030034177 - Leveraging Applications of Formal Methods Verifica...9783319175232 - NASA Formal Methods Kartoniert (TB)...
9783319914725 - Information Processing and Management of Uncertain...
9789811074660 - Mobile Agent-Based Anomaly Detection and Verificat...
9783319498119 - Deductive Software Verification - The KeY Book Kar...
9783319478456 - Formal Methods and Software Engineering Kartoniert...
9781484243053 - Complex Enterprise Architecture - John McDowall Ka...
9783319494531 - Enterprise and Organizational Modeling and Simulat...
9781447128847 - Dynamics and Control of Switched Electronic System...
9783031010194 - Synthesis Lectures on Human Language Technologies ...
9783642547829 - Multi-Agent-Based Simulation XIV Kartoniert (TB)...
9783030034207 - Leveraging Applications of Formal Methods Verifica...