Home Advanced Search
Advanced Search - Page 1
Formal Specification and Documentation Using Z: A Case Study Approach
- English
- Year: 1996
- Author: Jonathan Bowen
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
- English
- Year: 2017
- Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)
Provably Correct Systems
- English
- Year: 2017
- Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Software Specification Methods: An Overview Using a Case Study
- English
- Year: 2001
- Author: Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Industrial-strength formal methods in practice
- DJVU
- English
- Year: 1999
- Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Industrial-Strength Formal Methods in Practice
- English
- Year: 1999
- Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Electronic Visualisation in Arts and Culture
- English
- Year: 2013
- Author: James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
- DJVU
- English
- Year: 1995
- Author: David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)