VIAF

Virtual International Authority File

Search

Berry, Gérard, 1948- National Library of the Czech Republic Sudoc [ABES], France National Library of France Library of Congress/NACO

Berry, Gérard German National Library ISNI-test

Berry, Gerard Philippe Wikipedia (en)

VIAF ID: 44556535 (Personal)

Permalink: http://viaf.org/viaf/44556535

ISNI-test: 0000  0000  8378  1009 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (1)

Open Section Close SectionWorks

Title Sources
Bottom-up computation of recursive programs Sudoc [ABES], France National Library of France
CALCULS ASCENDANTS DES PROGRAMMES RECURSIFS Sudoc [ABES], France
The chemical abstract machine = La machine abstraite chimique Sudoc [ABES], France
Compiling ESTEREL Sudoc [ABES], France Library of Congress/NACO
Computer Aided Verification 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings Sudoc [ABES], France Library of Congress/NACO
The ESTEREL synchronous programming language : design, semantics, implementation Sudoc [ABES], France
From regular expressions to deterministic automata Sudoc [ABES], France
Full abstraction for sequential languages : the state of the art Sudoc [ABES], France
Implicit and explicit reachable state space exploration of Esterel logical circuits. Sudoc [ABES], France
Incremental development of an HDLC protocol in ESTEREL Sudoc [ABES], France
˜L'œinformatique du temps et des événements [leçon inaugurale prononcée le 28 mars 2013] Sudoc [ABES], France National Library of France
Informatique et sciences du numérique spécialité ISN en terminale S, avec des exercices corrigés et idées de projets Sudoc [ABES], France
Une introduction à la science informatique pour les enseignants de la discipline en lycée Sudoc [ABES], France
De la sémantique opérationnelle à la spécification formelle de compilateurs l'exemple des boucles en Esterel Sudoc [ABES], France
Le logiciel, objet de notre quotidien Sudoc [ABES], France
Loops in Esterel : from Operational Semantics to Formally Specified Compilers. Sudoc [ABES], France
Modèles complètement adéquats et stables des lambda-calculs typés Sudoc [ABES], France
On the definition of lambda-calculus models Sudoc [ABES], France
Penser, modéliser et maîtriser le calcul informatique Sudoc [ABES], France Library of Congress/NACO National Library of France
Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique Sudoc [ABES], France National Library of France
Programming a digital watch in ESTEREL v3 Sudoc [ABES], France
˜Le œSIRH enjeux, projets et bonnes pratiques Sudoc [ABES], France National Library of France
˜Le œsystème d'information des ressources humaines National Library of France
Systèmes embarqués : contraintes et technologies colloquium Jacques Morgenstern, 20 ans de recherche dans les STIC, quelle recherche dans 20 ans ?, mardi 10 décembre 2002 Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:44556535 (19)