Abrial, Jean-Raymond.
Abrial, Jean-Raymond, 1938-
Abrial, Jean-Raymond, 1938-...., auteur en informatique
Jean-Raymond Abrial
Abrial, J.R. (Jean-Raymond)
VIAF ID: 56763534 (Personal)
Permalink: http://viaf.org/viaf/56763534
Preferred Forms
- 200 _ | ‡a Abrial ‡b Jean-Raymond ‡f 1938-....
-
-
- 100 1 0 ‡a Abrial, Jean-Raymond
-
-
- 100 1 _ ‡a Abrial, Jean-Raymond
-
- 100 1 _ ‡a Abrial, Jean-Raymond ‡d 1938-
- 100 1 _ ‡a Abrial, Jean-Raymond ‡d 1938-...
-
- 100 1 _ ‡a Abrial, Jean-Raymond, ‡d 1938-...., ‡c auteur en informatique
-
- 100 0 _ ‡a Jean-Raymond Abrial
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
The B-book, 1996: | |
B-book : assigning programs to meanings | |
Conception d'un système automatisé de gestion de la scolarité de l'enseignement supérieur | |
Data semantics | |
Formal methods for industrial applications : specifying and programming the steam boiler control | |
Introduction à la méthode B. | |
Manuel du langage Z | |
Méthode B : études de cas | |
Méthode B : logique et preuve. | |
méthode de spécification formelle B construction de modèles mathématique | |
Modeling in Event-B : system and software engineering | |
Projet SOCRATE. version 3 | |
Reference manual for the Ada programming language | |
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday | |
Structure de données et de programmes, cours C4. | |
The Z notation : a reference manual |