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
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...