2010, ISBN: 3642152961
[EAN: 9783642152962], New book, [PU: Springer Berlin Heidelberg], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING PROGRAMMIERSPRACHEN MATHEMATIK INFORMATIONSTHEORIE KYBERNETIK… Mehr…
AbeBooks.com |
2010, ISBN: 9783642152962
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analys… Mehr…
BookDepository.com Versandkosten:Free shipping. (EUR 0.00) Details... |
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings 2010 - gebrauchtes Buch
2010, ISBN: 9783642152962
2010 Neubindung, Buchecken leicht angestoßen 8671950/12 Versandkostenfreie Lieferung hardware circuits,timed automata,Natural,timed Petri nets,runtime verification,data structures,verific… Mehr…
buchfreund.de |
2010, ISBN: 9783642152962
Taschenbuch
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2010, ISBN: 3642152961
[EAN: 9783642152962], Neubuch, [PU: Springer Science & Business Media], Books
AbeBooks.de Brook Bookstore, Milano, MI, Italy [73063896] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 5.31 Details... |
2010, ISBN: 3642152961
[EAN: 9783642152962], New book, [PU: Springer Berlin Heidelberg], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING PROGRAMMIERSPRACHEN MATHEMATIK INFORMATIONSTHEORIE KYBERNETIK… Mehr…
2010, ISBN: 9783642152962
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analys… Mehr…
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings 2010 - gebrauchtes Buch
2010
ISBN: 9783642152962
2010 Neubindung, Buchecken leicht angestoßen 8671950/12 Versandkostenfreie Lieferung hardware circuits,timed automata,Natural,timed Petri nets,runtime verification,data structures,verific… Mehr…
2010, ISBN: 9783642152962
Taschenbuch
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
2010, ISBN: 3642152961
[EAN: 9783642152962], Neubuch, [PU: Springer Science & Business Media], Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Modeling and Analysis of Timed Systems
EAN (ISBN-13): 9783642152962
ISBN (ISBN-10): 3642152961
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
255 Seiten
Gewicht: 0,411 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-08-01T05:41:48+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-03-11T15:24:19+01:00 (Vienna)
ISBN/EAN: 9783642152962
ISBN - alternative Schreibweisen:
3-642-15296-1, 978-3-642-15296-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: chatterjee, chatterje, henz thomas, klosterneuburg, henzinger
Titel des Buches: austria international, klosterneuburg, general analysis, analysis systems, september, who who austria, time form form time
Daten vom Verlag:
Autor/in: Krishnendu Chatterjee; Thomas A. Henzinger
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Verlag: Springer; Springer Berlin
257 Seiten
Erscheinungsjahr: 2010-08-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 257 p. 55 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Natural; Simulation; algorithms; constraint solving; data structures; hardware circuits; max-plus algebra; model checking; modeling; real-time logistics; runtime verification; timed Petri nets; timed automata; timed systems; verification; Computer Science Logic and Foundations of Programming; Systems Theory, Control; Programming Techniques; Software Engineering; Compilers and Interpreters; Formal Languages and Automata Theory; Kybernetik und Systemtheorie; Computerprogrammierung und Softwareentwicklung; Software Engineering; Compiler und Übersetzer; EA
Interdisciplinary Foundations for Open Cyber-Physical Systems.- Safraless Procedures for Timed Specifications.- Property-Based Monitoring of Analog and Mixed-Signal Systems.- A Framework for Verification of Software with Time and Probabilities.- Synchrony and Time in Fault-Tolerant Distributed Algorithms.- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.- Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games.- Natural Domain SMT: A Preliminary Assessment.- Robust Satisfaction of Temporal Logic over Real-Valued Signals.- Combining Symbolic Representations for Solving Timed Games.- Expected Reachability-Time Games.- Diagnosis Using Unfoldings of Parametric Time Petri Nets.- From Mtl to Deterministic Timed Automata.- Unambiguity in Timed Regular Languages: Automata and Logics.- A Process Algebraic Framework for Modeling Resource Demand and Supply.- Memory Event Clocks.- Simulation and Bisimulation for Probabilistic Timed Automata.- Layered Composition for Timed Automata.- A Conformance Testing Relation for Symbolic Timed Automata.Fast-track conference proceedings
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030001506 Formal Modeling and Analysis of Timed Systems (David N. Jansen; Pavithra Prabhakar)
- 9783030001506 Formal Modeling and Analysis of Timed Systems (David N. Jansen; Pavithra Prabhakar)
- 9783030004095 IoT as a Service (Lin, Yi-Bing|Deng, Der-Jiunn|You, Ilsun|Lin, Chun-Cheng)
- 9783030007935 Text, Speech, and Dialogue (Herausgegeben:Pala, Karel; Horák, Ales; Sojka, Petr; Kopecek, Ivan)
- 9780735409187 XIX International Fall Workshop on Geometry and Physics (Herdeiro, Carlos und Roger Picken)
< zum Archiv...