Abrial, Jean-Raymond, 1938-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Abrial, Jean-Raymond.
Abrial, J. R.
Abrial, J.R. (Jean-Raymond)
Jean-Raymond Abrial
VIAF ID: 56763534 (Personal)
Permalink: //viaf.org/viaf/56763534
ISNI: 0000 0001 1648 8192
Preferred Forms
-
200 _ |
‡a
Abrial
‡b
Jean-Raymond
‡f
1938-....
-
100 1 _
‡a
Abrial, J. R.
-
100 1 _ ‡a Abrial, J.R. ‡q (Jean-Raymond)
-
100 1 0
‡a
Abrial, Jean-Raymond
-
100 1 _
‡a
Abrial, Jean-Raymond
(sparse)
-
100 1 _ ‡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-....
-
100 1 _ ‡a Abrial, Jean-Raymond.
-
100 0 _
‡a
Jean-Raymond Abrial
4xx's: Alternate Name Forms (10)
Works
| Title | Sources |
|---|---|
| The B-book, 1996: |
|
| The B-book : assigning programs to meanings |
|
| Formal methods for industrial applications : specifying and programming the steam boiler control |
|
| 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. |
|
| 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 |
|
| The Z notation : a reference manual |
|
