Your search returned 4 results. Subscribe to this search

|
1. Congrès Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999proceedings / Nicolas Halbwachs, Doron Peled (Eds.)Publication : Berlin, London : Springer, c1999Description : xii, 506 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TRE 99] (1).
2.  Monographies, textes Data-flow synchronous languages / Albert Benveniste, Paul Caspi, Paul Le Guernic [et al.]Publication : [S.l.], 10-1993Description : 49 p.Availability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 9113] (1).
3. Thèses Détermination automatique de relations linéaires vérifiées par les variables d'un programme [Texte imprimé] / Nicolas HalbwachsPublication : [s.l.] : [s.n.], [1979]Description : 1 vol. (120 p.) : ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1657] (2).
4.  Monographies, textes Synchronous programming of reactive systems [] / by Nicolas HalbwachsPublication : Dordrecht [etc.] : Kluwer Academic publ, cop. 1993Description : 1 vol. (XIII-174 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1455] (1).

Powered by Koha