Normal view MARC view ISBD view

Synchronous programming of reactive systems [] / by Nicolas Halbwachs

Auteur principal : Halbwachs, NicolasPublication : Dordrecht [etc.] : Kluwer Academic publ, cop. 1993Description : 1 vol. (XIII-174 p.) : ill. ; 25 cmISBN : 0-7923-9311-2.Dewey: 005.13Classification : D.3Bibliographie: Bibliogr. p.161-170. Index.Sujet - Nom d'actualité : Systèmes à réaction ;Systèmes conversationnels (informatique) ;Programmation en temps réel ;LUSTRE (langage de programmation) ;Esterel (langage de programmation) ;Langages de programmation ;Temps réel (informatique) ;Programmation parallèle (informatique) ;Systèmes homme-machine Sujet : TEMPS REEL ;Langage de programmation ;Preuve de programme Sujet Catégorie : H-LOGICIEL
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-1455 Sur demande CRI02368D

Bibliogr. p.161-170. Index

Powered by Koha