skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thèse
Ajouter à Mon espace

Sémantiques et modèles d'exécution des langages réactifs synchrones : application à Esterel

Gonthier, Georges (1962-....)

Sophia-Antipolis : ENSMP, 1988

Voir les exemplaires  et autres localisations

2
Material Type:
Livre
Ajouter à Mon espace

Incremental development of an HDLC protocol in ESTEREL

Berry, Gérard (1948-....) ; Gonthier, Georges (1962-....)

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Synchronous programming of reactive systems = Programmation synchrone des systemes reactifs : an introduction to ESTEREL une introduction a ESTEREL

erry, gerard (1948) ; Couronne, Philippe ; Gonthier, Georges (1962-....)

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

INCREMENTAL DEVELOPMENT OF AN HDLC ENTITY IN ESTEREL.

Gonthier, Georges (1962-....) ; Berry, Gérard (1948-....)

NORTH-HOLLAND : ENSMP, 1991

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

PROGRAMMATION SYNCHRONE DES SYSTEMES REACTIFS:LE LANGAGE ESTEREL.

Berry, Gérard (1948-....) ; COURONNE, Philippe ; Gonthier, Georges (1962-....)

ENSMP, 1987

Voir les exemplaires

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Livres  (4)
  2. Thèses  (1)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré