- 0 Ergebnisse
Kleinster Preis: € 38,75, größter Preis: € 96,00, Mittelwert: € 68,12
1
Formal Modeling and Analysis of Timed Systems by Krishnendu Chatterjee Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 125,50
(ca. € 96,00)
Bestellengesponserter Link

Formal Modeling and Analysis of Timed Systems by Krishnendu Chatterjee Paperback | Indigo Chapters - neues Buch

2010, ISBN: 9783642152962

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Notes in Computer Science, 6246, Band 6246)
Bestellen
bei amazon.de
€ 52,84
Versand: € 0,001
Bestellengesponserter Link
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Notes in Computer Science, 6246, Band 6246) - Taschenbuch

2010, ISBN: 9783642152962

Springer, Taschenbuch, Auflage: 2010, 267 Seiten, Publiziert: 2010-08-30T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.9 kg, Informatik, IT-Ausbildung & -Berufe, Comput… Mehr…

Versandkosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
3
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Notes in Computer Science, 6246, Band 6246)
Bestellen
bei amazon.de
€ 38,75
Versand: € 3,001
Bestellengesponserter Link
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Notes in Computer Science, 6246, Band 6246) - Taschenbuch

2010

ISBN: 9783642152962

Springer, Taschenbuch, Auflage: 2010, 267 Seiten, Publiziert: 2010-08-30T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.9 kg, Informatik, IT-Ausbildung & -Berufe, Comput… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
4
Formal Modeling and Analysis of Timed Systems - Krishnendu Chatterjee
Bestellen
bei BookDepository.com
€ 88,81
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:Versandkostenfrei. (EUR 0.00)
5
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 - Taschenbuch

2010, ISBN: 9783642152962

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

Versandkosten:Lieferbar (Termin unbekannt) (EUR 0.00)

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.
Details zum Buch
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Notes in Computer Science, 6246, Band 6246)

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: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Notes in Computer Science, 6246, Band 6246)


EAN (ISBN-13): 9783642152962
ISBN (ISBN-10): 3642152961
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Chatterjee, Krishnendu, Henzinger, Thomas A. Springer
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 2022-09-23T11:33:56+02:00 (Vienna)
ISBN/EAN: 9783642152962

ISBN - alternative Schreibweisen:
3-642-15296-1, 978-3-642-15296-2


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
Gewicht: 0,410 kg
Sprache: Englisch
64,19 € (DE)
65,99 € (AT)
80,08 CHF (CH)
POD
X, 257 p. 55 illus.

BC; Book; 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; C; Logics and Meanings of Programs; Systems Theory, Control; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Computer Science Logic and Foundations of Programming; Systems Theory, Control; Programming Techniques; Software Engineering; Compilers and Interpreters; Formal Languages and Automata Theory; Computer Science; Kybernetik und Systemtheorie; Computerprogrammierung und Softwareentwicklung; Software Engineering; Compiler und Übersetzer; Theoretische Informatik; 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.

< zum Archiv...