VIAF

Virtual International Authority File

Search

Bowen, J.P. (Jonathan Peter), 1956- National Library of the Netherlands-test Library of Congress/NACO

Bowen, Jonathan Sudoc [ABES], France

Bowen, Jonathan Peter (1956- ). NUKAT Center of Warsaw University Library

Jonathan Bowen Computer scientist, information technologist Wikidata

Bowen, J. P. 1956- ISNI-test

Bowen, Jonathan P. 1956- German National Library

Bowen, Jonathan P. German National Library

VIAF ID: 15646992 (Personal)

Permalink: http://viaf.org/viaf/15646992

ISNI-test: 0000  0001  0956  5671 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (15)

Open Section Close SectionWorks

Title Sources
Applications of formal methods National Library of the Netherlands-test NUKAT Center of Warsaw University Library Library of Congress/NACO
Formal methods and testing : an outcome of the FORTEST network : revised selected papers Library of Congress/NACO
High-integrity system specification and design Library of Congress/NACO German National Library
Industrial-strength formal methods in practice Library of Congress/NACO
Towards verified systems National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Z user workshop, London, 1992 : proceedings of the seventh annual Z user meeting, London, 14-15 December 1992 National Library of the Netherlands-test NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library
ZB 2000 National Library of the Netherlands-test
ZUM 98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings National Library of the Netherlands-test Library of Congress/NACO German National Library xR Extended Titles-test NUKAT Center of Warsaw University Library
ZUM'98 National Library of the Netherlands-test

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section History of VIAF ID:15646992 (34)