2007, ISBN: 9783540752202
Paperback
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Published to honour both … More...
booklooker.de |
Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - new book
2007, ISBN: 354075220X
2007 Kartoniert / Broschiert Echtzeit, Real-time, Realzeit, Computerhardware, Theoretische Informatik, algorithms; algorithm; Design; formalmethod; logic; modeling; organization; Softwa… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2007, ISBN: 9783540752202
*Formal Methods and Hybrid Real-Time Systems* - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Auflage 2007 / Taschenbuch für 53.49 € / Aus d… More...
Hugendubel.de Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues) - Paperback
2007, ISBN: 9783540752202
Springer, 2007-11-09. 2007. Paperback. Used:Good., Springer, 2007-11-09, 0
Biblio.co.uk |
FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS: ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH BIRTHDAYS - Paperback
2007, ISBN: 9783540752202
Springer, 2007. 1st. Paperback. New/New., Springer, 2007, 6
Biblio.co.uk |
2007, ISBN: 9783540752202
Paperback
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Published to honour both … More...
Jones, Cliff B. (Herausgeber); Woodcock, Jim (Herausgeber); Liu, Zhiming (Herausgeber):
Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - new book2007, ISBN: 354075220X
2007 Kartoniert / Broschiert Echtzeit, Real-time, Realzeit, Computerhardware, Theoretische Informatik, algorithms; algorithm; Design; formalmethod; logic; modeling; organization; Softwa… More...
2007
ISBN: 9783540752202
*Formal Methods and Hybrid Real-Time Systems* - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Auflage 2007 / Taschenbuch für 53.49 € / Aus d… More...
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues) - Paperback
2007, ISBN: 9783540752202
Springer, 2007-11-09. 2007. Paperback. Used:Good., Springer, 2007-11-09, 0
FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS: ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH BIRTHDAYS - Paperback
2007, ISBN: 9783540752202
Springer, 2007. 1st. Paperback. New/New., Springer, 2007, 6
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Formal Methods and Hybrid Real-Time Systems
EAN (ISBN-13): 9783540752202
ISBN (ISBN-10): 354075220X
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin Heidelberg
539 Pages
Weight: 0,845 kg
Language: eng/Englisch
Book in our database since 2008-01-04T11:20:13-05:00 (New York)
Detail page last modified on 2024-03-19T14:23:19-04:00 (New York)
ISBN/EAN: 9783540752202
ISBN - alternate spelling:
3-540-75220-X, 978-3-540-75220-2
Alternate spelling and related search-keywords:
Book author: wood jones, liu, real, woodcock, joe jones, jim, jon wood, james jones, zhou
Book title: time essay, real time systems, formal methods, time method, real science, birthdays, hybrid, dine, only time will tell, this real, essays, zhou, four time, time brief, the time, system, time form form time
More/other books that might be very similar to this book
Latest similar book:
9783540752219 Formal Methods and Hybrid Real-Time Systems (Springer)
< to archive...