sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000117729904 | 1 hits
Person
ISNI: 
0000 0001 1772 9904
Name: 
Michael Spivey
Michael Spivey (Computer scientist)
Spivey, J. M.
Spivey, J. Michael
Spivey, J. Mike
Spivey, Michael
Spivey, Mike
Dates: 
1960-
Creation class: 
Language material
Text
Creation role: 
author
Related names: 
University of Oxford
Titles: 
introduction to logic programming through Prolog. -
Understanding Z : a specification language and its formal semantics
Z notation, 1988, c1987:, The
Z Notation : A Reference Manual
Notes: 
Thesis (Ph.D.)
Sources: 
VIAF DNB LC NKC NUKAT WKD
BOWKER