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: 
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 (1934- ))
Mazaré, Guy
Morin, Robert
Spivey, J.M.
Vigliano, Georges
Titles: 
B-book, The : assigning programs to meanings
Formal methods for industrial applications : specifying and programming the steam boiler control
Projet SOCRATE.
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