VIAF

Virtual International Authority File

Search

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

Abrial, Jean-Raymond. NUKAT Center of Warsaw University Library Library of Congress/NACO German National 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 (9)

Open Section Close SectionWorks

Title Sources
The B-book, 1996: Library of Congress/NACO
The B-book assigning programs to meanings NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
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 Sudoc [ABES], France Library of Congress/NACO
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 Sudoc [ABES], France Library of Congress/NACO
The Z notation : a reference manual National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

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