Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000116488192 | 1 hits
Person
ISNI: 
0000 0001 1648 8192
Name: 
Abrial, J. -R.
Abrial, Jean-Raymond
Dates: 
1938-...
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Beaume, Georges
Boerger, Egon (1946- ))
Börger, Egon (1946-)
Glässer, Uwe (1959-)
Langmaack, Hans
Mazaré, Guy
Morin, Robert
Roubine, Olivier
Spivey, J.M.
Vigliano, Georges
Titles: 
B-book, 1996:, The
B-book, The : assigning programs to meanings
Formal methods for industrial applications : specifying and programming the steam boiler control
Logique et preuve.
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
Z notation, The : a reference manual
Notes: 
Sources: 
VIAF LC NTA NUKAT SUDOC WKP