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 05:36 Uhr
19.11.2025 um 05:36 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:
9783319471686 - Leveraging Applications of Formal Methods Verifica...9781484243053 - Complex Enterprise Architecture - John McDowall Ka...
9783662505380 - Service-Oriented Computing - ICSOC 2015 Workshops ...
9783642033582 - Theorem Proving in Higher Order Logics Kartoniert ...
9783642043673 - Formal Modeling and Analysis of Timed Systems Kart...
9783319458915 - Software Engineering for Resilient Systems Kartoni...
9783642547829 - Multi-Agent-Based Simulation XIV Kartoniert (TB)...
9783319175232 - NASA Formal Methods Kartoniert (TB)...
9783642030789 - Conceptual Structures Leveraging Semantic Technolo...
9783319498119 - Deductive Software Verification - The KeY Book Kar...
9783319914787 - Information Processing and Management of Uncertain...
9783319668444 - Integrated Formal Methods Kartoniert (TB)...
kürzlich hinzugefügt:
9783319312194 - Structured Object-Oriented Formal Language and Met...9783319229744 - Formal Modeling and Analysis of Timed Systems Kart...
9783319105116 - Formal Modeling and Analysis of Timed Systems Kart...
9783030028510 - New Trends in Model and Data Engineering Kartonier...
9783642547829 - Multi-Agent-Based Simulation XIV Kartoniert (TB)...
9783319756073 - Traffic Mining Applied to Police Activities Karton...
9783662638811 - Regression - Ludwig Fahrmeir Thomas Kneib Stefan L...
9783030130497 - Design Automation of Cyber-Physical Systems Gebund...
9783031007781 - Synthesis Lectures on Data Mining and Knowledge Di...
9783319498119 - Deductive Software Verification - The KeY Book Kar...
9783319668536 - Model and Data Engineering Kartoniert (TB)...
9783319478456 - Formal Methods and Software Engineering Kartoniert...