Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000109565671 | 1 hits
Person
ISNI: 
0000 0001 0956 5671
Name: 
Bowen, J. P.
Bowen, Jonathan
Bowen, Jonathan P.
Bowen, Jonathan Peter
Dates: 
1956-
Creation class: 
article
Language material
Text
txt
Creation role: 
author
editor
redactor
Related names: 
Fett, Andreas
Hinchey, Michael G. (1969-)
Hinchey, Michael Gerald (1969-)
Hinchey, Michael Gerard (1969- ))
Hinchey, Michael Gerard (1969-)
Nicholls, John E. (1928-)
Prentice Hall
Siddiqi, J. I. (1951-)
Siddiqi, Jawed I. (1951-)
Till, David
Titles: 
Applications of formal methods
Formal methods and testing : an outcome of the FORTEST network : revised selected papers
Formal methods : state of the art and new directions
High-integrity system specification and design
Industrial-strength formal methods in practice
Towards verified systems
Weaving the museum web : the Virtual Library museums pages
World Wide Web Virtual Library of museums, The
Z User Workshop (7th : 1992 : London, England). Z User Workshop, London 1992, c1993:
Z user workshop, London, 1992 : proceedings of the seventh annual Z user meeting, London, 14-15 December 1992
ZB 2000: formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings
ZUM '95 : the Z formal specification notation : 9th International conference of Z users, Limerick, Ireland, September 7-9, 1995 : proceedings
ZUM'97 : the Z formal specification notation : 10th international conference of Z users, Reading, UK, April 3-4, 1997 : proceedings
ZUM '98 the Z formal specification notation : 11th International conference of Z users, Berlin, Germany, September 24-26, 1998 : proceedings
Contributed to or performed: 
INFORMATION SERVICES AND USE
PROGRAM -LONDON- ASLIB-
Notes: 
Sources: 
VIAF LC NTA NUKAT SUDOC
ZETO