Abrial, Jean-Raymond, 1938-....
Abrial, Jean-Raymond.
Abrial, J. R.
Abrial, J.R. (Jean-Raymond)
Jean-Raymond Abrial
VIAF ID: 56763534 (Personal)
Permalink: http://viaf.org/viaf/56763534
Preferred Forms
-
200 _ | ‡a Abrial ‡b Jean-Raymond ‡f 1938-....
-
100 1 _ ‡a Abrial, J. R.
-
-
-
100 1 0 ‡a Abrial, Jean-Raymond
-
100 1 _ ‡a Abrial, Jean-Raymond (sparse)
-
-
100 1 _ ‡a Abrial, Jean-Raymond ‡d 1938-
-
-
100 1 _ ‡a Abrial, Jean-Raymond, ‡d 1938-....
-
-
100 0 _ ‡a Jean-Raymond Abrial
4xx's: Alternate Name Forms (11)
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 |
![]() ![]() ![]() |