Normal view MARC view ISBD view

Vérification automatique de programmes Esterel / {V. Lecompte}

Auteur principal : LECOMPTE, ValérieAuteur secondaire collectivité : Centre de mathématiques appliquées, Sophia Antipolis, Alpes-Maritimes, Centre de mathématiques appliquéesPublication : Sophia-Antipolis : ENSMP, 1989Description : 161 p. ; 30 cmBibliographie: Bibliogr. p. 157-158.Thèse : .Sujet : Temps réel ;Langage synchrone ;Automate ;Vérification programme ;Parallélisme Sujet Catégorie : AUTOMATIQUE-ROBOTIQUE
Current location Call number Status Date due Barcode
Bib. Paris
EMP 138.811 CCL.TH.625 Available
Bib. Paris
EMP 138.812 CCL.TH.625 Available

Bibliogr. p. 157-158

Th. univ. Sci. Paris 7 1989

Powered by Koha