Normal view MARC view ISBD view

The foundations of Esterel / Gérard Berry, Gérard Berry

Auteur principal : Berry, Gérard, 1948-....Auteur secondaire collectivité : Centre de mathématiques appliquées, Sophia Antipolis, Alpes-Maritimes, Centre de mathématiques appliquéesPublication : ENSMP, 1998Description : 31 f. : Ill. ; 30 cmBibliographie: Bibliogr. f. 28-31.Sujet : Langage synchrone ;Système réactif ;Langage ESTEREL Sujet Catégorie : INFORMATIQUE-INTELLIGENCE ARTIFICIELLE
Current location Call number Status Date due Barcode
Bib. Paris
EMP 145.630 CCL.5700 Available EMP52828D
Bib. Paris
EMP 147.239 CCL.5742 Available EMP57664D

A paraître dans : "Proof, language and interaction, essays in honor of Robin Milner", G. Plotkin, C. Stirling & M. Tofte (eds.), MIT Press, 1998

Bibliogr. f. 28-31

Powered by Koha