- 5 Ergebnisse
Kleinster Preis: € 37,10, größter Preis: € 94,26, Mittelwert: € 64,47
1
Formal Modeling and Analysis of Timed Systems - Chatterjee, Krishnendu|Henzinger, Thomas A.
Bestellen
bei AbeBooks.com
$ 62,58
(ca. € 58,68)
Versand: € 47,471
Bestellengesponserter Link
Chatterjee, Krishnendu|Henzinger, Thomas A.:

Formal Modeling and Analysis of Timed Systems - Taschenbuch

2010, ISBN: 3642152961

[EAN: 9783642152962], New book, [PU: Springer Berlin Heidelberg], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING PROGRAMMIERSPRACHEN MATHEMATIK INFORMATIONSTHEORIE KYBERNETIK… Mehr…

NEW BOOK. Versandkosten: EUR 47.47 moluna, Greven, Germany [73551232] [Rating: 4 (of 5)]
2
Formal Modeling and Analysis of Timed Systems - Krishnendu Chatterjee
Bestellen
bei BookDepository.com
$ 72,65
(ca. € 68,12)
Versand: € 0,001
Bestellengesponserter Link

Krishnendu Chatterjee:

Formal Modeling and Analysis of Timed Systems - Taschenbuch

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…

Versandkosten:Free shipping. (EUR 0.00)
3
Bestellen
bei buchfreund.de
€ 37,10
Versand: € 0,001
Bestellengesponserter Link
Chatterjee, Krishnendu und Thomas A. Henzinger:
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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
4
Formal Modeling and Analysis of Timed Systems - Krishnendu Chatterjee; Thomas A. Henzinger
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Krishnendu Chatterjee; Thomas A. Henzinger:
Formal Modeling and Analysis of Timed Systems - Erstausgabe

2010, ISBN: 9783642152962

Taschenbuch

8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
5
Bestellen
bei AbeBooks.de
€ 94,26
Versand: € 5,311
Bestellengesponserter Link
Krishnendu Chatterjee, Thomas A. Henzinger:
Formal Modeling and Analysis of Timed Systems - Taschenbuch

2010, ISBN: 3642152961

[EAN: 9783642152962], Neubuch, [PU: Springer Science & Business Media], Books

NEW BOOK. Versandkosten: EUR 5.31 Brook Bookstore, Milano, MI, Italy [73063896] [Rating: 4 (von 5)]

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.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 an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications.

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

< zum Archiv...