AboutPartnersSign inJoin

Jonathan P. Bowen

About

Some information is missing for this author.

Books

ZB 2000: Formal Specification and Development in Z and B
ZB 2000: Formal Specification and Development in Z and B
Steve King, Jonathan P. Bowen, Steve Dunne, Andrew Galloway
Provably Correct Systems
Provably Correct Systems
Jonathan P. Bowen, Ernst-Rüdiger Olderog, Mike Hinchey
Formal Methods and Testing
Formal Methods and Testing
Jonathan P. Bowen, Mark Harman, Robert M. Hierons
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Michael Butler, Jonathan P. Bowen, Egon Börger, Paul Boca
ZB 2002: Formal Specification and Development in Z and B
ZB 2002: Formal Specification and Development in Z and B
Ken Robinson, Jonathan P. Bowen, Didier Bert, Martin C. Henson
ZUM'97: The Z Formal Specification Notation
ZUM'97: The Z Formal Specification Notation
Michael G. Hinchey, G. Goos, Jonathan P. Bowen, J. Hartmanis, Jan Van Leeuwen, David Till
High-Integrity System Specification and Design
High-Integrity System Specification and Design
Michael G. Hinchey, Jonathan P. Bowen
ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and B
Steve King, Jonathan P. Bowen, Didier Bert, Marina Waldén
ZUM '95: The Z Formal Specification Notation
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen, International Conference of Z Users (9 : 1995 : Limerick)
Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
Jonathan P. Bowen, Suzanne Keene, Kia Ng
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
Jonathan P. Bowen, Paul Boca, Jawed Siddiqi
Museums and Digital Culture
Museums and Digital Culture
Jonathan P. Bowen, Tula Giannini
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Michael Butler, Jonathan P. Bowen, Egon Börger, Paul Boca
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey, Jonathan P. Bowen

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian