Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000116488192 | 1 hits
Person
ISNI: 
0000 0001 1648 8192
Name: 
Abrial, J. -R.
Abrial, Jean-Raymond
Dates: 
1938-...
Creation class: 
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Boerger, Egon (1946- ))
Börger, E. (1946-)
Börger, Egon (1946-)
Glässer, Uwe (1959-)
Langmaack, Hans
Spivey, J.M.
Titles: 
B-book, 1996:, The
B-book, The : assigning programs to meanings
Formal methods for industrial applications, c1996:
Formal methods for industrial applications : specifying and programming the steam boiler control
méthode de spécification formelle B construction de modèles mathématique, La
Modeling in Event-B : system and software engineering
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 BNF LC NTA NUKAT SUDOC WKP