Jonathan P. Bowen

Identifiers

Open LibraryOL7562510A

Top Subjects

Computer software, development (2)
Software engineering (2)
Z (computer program language) (1)
System design (1)
Computer software, reliability (1)
Mathematics (1)

Books by Jonathan P. Bowen

Total count: 17

High-Integrity System Specification and Design

Springer London1999-01-01
ZB 2003 : Formal Specification and Development in Z and BThird International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Springer London, Limited2003-01-01
ZB 2000 : Formal Specification and Development in Z and BFirst International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Springer London, Limited2003-01-01
ZB 2002 : Formal Specification and Development in Z and B2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Springer London, Limited2003-01-01
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer London, Limited2008-01-01
Formal Methods and TestingAn Outcome of the FORTEST Network. Revised Selected Papers

Springer London, Limited2008-01-01
Formal MethodsState of the Art and New Directions

Springer2009-01-01
ZUM '98 : the Z Formal Specification Notation11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Springer London, Limited2011-01-01
Electronic Visualisation in Arts and Culture

Springer London, Limited2013-01-01
Engineering Trustworthy Software SystemsSecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing AG2017-01-01
Unifying Theories of Programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer2017-01-11
Provably Correct Systems

Springer2017-03-02
EVA London 2018Electronic Visualisation and the Arts

BCS Learning & Development Limited2018-01-01
Museums and Digital CultureNew Perspectives and Research

Springer2019-05-07
EVA London 2020Electronic Visualisation and the Arts

BCS Learning & Development Limited2020-01-01
Theories of Programming and Formal MethodsEssays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Springer2023-01-01
Engineering Trustworthy Software Systems7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures

Springer2026-01-01