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 DesignSpringer 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, ProceedingsSpringer 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 ProceedingsSpringer 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, ProceedingsSpringer London, Limited2003-01-01
-
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsSpringer London, Limited2008-01-01
-
Formal Methods and TestingAn Outcome of the FORTEST Network. Revised Selected PapersSpringer London, Limited2008-01-01
-
Formal MethodsState of the Art and New DirectionsSpringer2009-01-01
-
ZUM '98 : the Z Formal Specification Notation11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, ProceedingsSpringer London, Limited2011-01-01
-
Electronic Visualisation in Arts and CultureSpringer London, Limited2013-01-01
-
Engineering Trustworthy Software SystemsSecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial LecturesSpringer International Publishing AG2017-01-01
Unifying Theories of Programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected PapersSpringer2017-01-11
Provably Correct SystemsSpringer2017-03-02-
EVA London 2018Electronic Visualisation and the ArtsBCS Learning & Development Limited2018-01-01
Museums and Digital CultureNew Perspectives and ResearchSpringer2019-05-07-
EVA London 2020Electronic Visualisation and the ArtsBCS Learning & Development Limited2020-01-01
-
Theories of Programming and Formal MethodsEssays Dedicated to Jifeng He on the Occasion of His 80th BirthdaySpringer2023-01-01
-
Engineering Trustworthy Software Systems7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial LecturesSpringer2026-01-01