Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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
Computer file
Language material
Text
txt
Creation role: 
author
editor
redactor
Related names: 
Fett, Andreas
Harman, Mark
Hierons, Robert M.
Hinchey, Michael G.
Hinchey, Michael G. (1969-)
Hinchey, Michael Gerald (1969-)
Hinchey, Michael Gerard (1969-....))
Hinchey, Michael Gerard (1969-)
Nicholls, John E. (1928-)
Prentice Hall
Till, David
Titles: 
abstract state machines, b and z
Applications of formal methods
electronic visualisation in arts and culture
Formal methods and testing : an outcome of the FORTEST network : revised selected papers
formal specification and documentation using z: a case study approach
Getting started with Talend Open Studio for data integration develop system integrations with speed and quality using Talend Open Studio for Data Integration
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, London 1992 proceedings of the seventh annual Z user meeting, London 14-15 december 1992
ZB 2000
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 WKP
ZETO