VIAF

Virtual International Authority File

Search

Abrial, Jean-Raymond, 1938-.... National Library of France Sudoc [ABES], France

Abrial, Jean-Raymond. Library of Congress/NACO NII (Japan) German National Library NUKAT Center of Warsaw University Library

Abrial, J. R. ISNI

Abrial, J.R. (Jean-Raymond) National Library of the Netherlands

Jean-Raymond Abrial Wikidata

VIAF ID: 56763534 (Personal)

Permalink: http://viaf.org/viaf/56763534

ISNI: 0000  0001  1648  8192 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
The B-book, 1996: Library of Congress/NACO NUKAT Center of Warsaw University Library
The B-book assigning programs to meanings Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France Sudoc [ABES], France
Formal methods for industrial applications : specifying and programming the steam boiler control Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands
Méthode B études de cas Sudoc [ABES], France
Méthode B logique et preuve. Sudoc [ABES], France
méthode de spécification formelle B construction de modèles mathématique National Library of France
Modeling in Event-B system and software engineering Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
Projet SOCRATE Sudoc [ABES], France
Reference manual for the Ada programming language Sudoc [ABES], France
Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday Library of Congress/NACO Sudoc [ABES], France
The Z notation : a reference manual Sudoc [ABES], France National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section History of VIAF ID:56763534 (12)