2011, ISBN: 9783642243103
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2011, ISBN: 9783642243103
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2… Mehr…
| ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783642243103
Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; A… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
2011, ISBN: 9783642243103
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin], Springer Berlin, 2011
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2011, ISBN: 9783642243103
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings, 2011, eBook Download (PDF), eBooks, [PU: Springer Berlin]
| lehmanns.de Versandkosten:Download sofort lieferbar, , Geen versendingskosten in Duitsland. (EUR 9.95) Details... |
2011, ISBN: 9783642243103
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2… Mehr…
2011, ISBN: 9783642243103
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2… Mehr…
ISBN: 9783642243103
Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; A… Mehr…
2011, ISBN: 9783642243103
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin], Springer Berlin, 2011
2011, ISBN: 9783642243103
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings, 2011, eBook Download (PDF), eBooks, [PU: Springer Berlin]
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Formal Modeling and Analysis of Timed Systems
EAN (ISBN-13): 9783642243103
ISBN (ISBN-10): 364224310X
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
353 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2012-10-08T20:14:26+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-06-23T18:03:57+02:00 (Berlin)
ISBN/EAN: 9783642243103
ISBN - alternative Schreibweisen:
3-642-24310-X, 978-3-642-24310-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: fahrenberg, uli
Titel des Buches: analysis systems, denmark, time form form time
Daten vom Verlag:
Autor/in: Uli Fahrenberg; Stavros Tripakis
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Verlag: Springer; Springer Berlin
353 Seiten
Erscheinungsjahr: 2011-09-25
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 353 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; computational geometry; embedded systems; model checking; performance evaluation; timed automata; algorithm analysis and problem complexity; C; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Formal Languages and Automata Theory; Programming Techniques; Algorithms; Computer Science; Software Engineering; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; BC
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.State-of-the-art research Fast-track conference proceedings Unique visibility
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...