Bowen, Jonathan Peter, 1956-....
Bowen, J. P. (Jonathan Peter), 1956-
Bowen, Jonathan P., 1956-
Bowen, Jonathan Peter
Bowen, Jonathan P.
Jonathan Bowen British computer scientist
Bowen, J. P. (Jonathan Peter)
Bowen, J.P. (Jonathan Peter), Computer science, 1956-
VIAF ID: 15646992 ( Personal )
Permalink: http://viaf.org/viaf/15646992
Preferred Forms
-
- 100 1 _ ‡a Bowen, J. P. ‡q (Jonathan Peter)
-
-
-
-
- 100 1 _ ‡a Bowen, J. P. ‡q (Jonathan Peter), ‡d 1956-
-
-
-
- 100 1 _ ‡a Bowen, Jonathan P. ‡d 1956-
-
- 100 1 _ ‡a Bowen, Jonathan Peter
-
-
- 100 1 _ ‡a Bowen, Jonathan Peter ‡d 1956-
- 100 1 _ ‡a Bowen, Jonathan Peter, ‡d 1956-....
- 100 0 _ ‡a Jonathan Bowen ‡c British computer scientist
4xx's: Alternate Name Forms (48)
Works
Title | Sources |
---|---|
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings | |
Electronic visualisation in arts and culture | |
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures | |
EVA London, 2020: | |
Formal methods and testing : an outcome of the FORTEST network : revised selected papers | |
Formal methods : state of the art and new directions | |
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 | |
Museums and digital culture new perspectives and research | |
Provably Correct Systems | |
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday | |
Towards verified systems | |
The Turing guide | |
Unifying theories of programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, revised selected papers | |
UTP 2016 | |
Visiteurs virtuels et musées virtuels | |
Z formal specification notation | |
Z User Workshop, London 1992 : proceedings of the Seventh Annual Z User Meeting, London, 14-15 December 1992 | |
ZUM'98 |