Yazar
Nicolas Halbwachs
4 cilt bulundu.
Cilt sonuçları
Synchronous programming of reactive systems
Nicolas Halbwachs · Kluwer Academic Publishers
174 sayfa · 1993
Programming languages (Electronic computers) / Real-time programming / LUSTRE (langage de programmation) / Systèmes homme-machine / LUSTRE
Computer aided verification
Nicolas Halbwachs, Doron Peled · Springer London, Limited
506 sayfa · 1999
Enginyeria del software / Disseny lògic / Congressos / Llenguatges formals / Computer software, verification
Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck · Springer London, Limited
Sayfa sayısı yok · 2005
System design / Computer software