Halbwachs, Nicolas books & textbook
Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science)
Springer /2010-12-07 Paperback / 188 Pages
isbn-10: 1441951334 / isbn-13: 9781441951335
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
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