BooksPrice.com

book price comparison

Halbwachs, Nicolas books & textbook

Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science)

Halbwachs, Nicolas  

Springer /2010-12-07 Paperback / 188 Pages
isbn-10: 1441951334 / isbn-13: 9781441951335
   

compare price



Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633)

Halbwachs, Nicolas  Peled, Doron  

Springer /1999-06-23 Paperback / 520 Pages
isbn-10: 3540662022 / isbn-13: 9783540662020
   

compare price



Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3440)

Halbwachs, Nicolas  Zuck, Lenore  

Springer /2005-03-23 Paperback / 608 Pages
isbn-10: 3540253335 / isbn-13: 9783540253334
   

compare price