54 results
Type of media (2)
Availability (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
54 results

Your search for Jonathan P. Bowen

  1. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Andrea Turrini
    Engineering Trustworthy Software Systems
    7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
    05/2026
    Springer
    9789819586172 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: The Arts and Computational Culture: Real and Virtual Worlds - Springer
    Tula Giannini | Jonathan P. Bowen
    The Arts and Computational Culture: Real and Virtual Worlds
    06/2024
    1st EDN1st Edition
    Springer
    9783031538650 (ISBN)
    E-Book
    PDF
    Other editions
    €245.03
    Available for download
  3. Cover: Museums and Digital Culture - Springer
    Tula Giannini | Jonathan P. Bowen
    Museums and Digital Culture
    New Perspectives and Research
    05/2019
    1st EDN1st Edition
    Springer
    9783319974576 (ISBN)
    E-Book
    PDF
    Other editions
    €171.19
    Available for download
  4. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Zhiming Liu | Zili Zhang
    Engineering Trustworthy Software Systems
    5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
    07/2020
    Springer
    9783030550899 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Provably Correct Systems - Springer
    Mike Hinchey | Jonathan P. Bowen | Ernst-Rüdiger Olderog
    Provably Correct Systems
    03/2017
    Springer
    9783319486284 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  6. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Zhiming Liu | Zili Zhang
    Engineering Trustworthy Software Systems
    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
    04/2017
    Springer
    9783319568416 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Unifying Theories of Programming - Springer
    Jonathan P. Bowen | Huibiao Zhu
    Unifying Theories of Programming
    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
    01/2017
    Springer
    9783319522289 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Zhiming Liu | Zili Zhang
    Engineering Trustworthy Software Systems
    Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
    11/2018
    Springer
    9783030029289 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Zhiming Liu | Zili Zhang
    Engineering Trustworthy Software Systems
    4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
    04/2019
    Springer
    9783030176013 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  10. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Cláudio Gomes | Zhiming Liu
    Engineering Trustworthy Software Systems
    6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
    04/2025
    Springer
    9789819646562 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  11. Cover: High-Integrity System Specification and Design - Springer
    Jonathan P. Bowen | Michael G. Hinchey
    High-Integrity System Specification and Design
    12/2012
    Springer
    9781447134312 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  12. Cover: Electronic Visualisation in Arts and Culture - Springer
    Jonathan P. Bowen | Suzanne Keene | Kia Ng
    Electronic Visualisation in Arts and Culture
    09/2013
    1st EDN1st Edition
    Springer
    9781447154068 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  13. Cover: Industrial-Strength Formal Methods in Practice - Springer
    Michael G. Hinchey | Jonathan P. Bowen
    Industrial-Strength Formal Methods in Practice
    12/2012
    Springer
    9781447105237 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  14. Cover: ZUM '98: The Z Formal Specification Notation - Springer
    Jonathan P. Bowen | Andreas Fett | Michael G. Hinchey
    ZUM '98: The Z Formal Specification Notation
    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
    04/2011
    Springer
    9783540496762 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  15. Cover: ZB 2003: Formal Specification and Development in Z and B - Springer
    Didier Bert | Jonathan P. Bowen | Steve King
    ZB 2003: Formal Specification and Development in Z and B
    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    08/2003
    Springer
    9783540448808 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  16. Cover: ZB 2002: Formal Specification and Development in Z and B - Springer
    Didier Bert | Jonathan P. Bowen | Martin C. Henson
    ZB 2002: Formal Specification and Development in Z and B
    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    07/2003
    Springer
    9783540456483 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  17. Cover: ZB 2000: Formal Specification and Development in Z and B - Springer
    Jonathan P. Bowen | Steve Dunne | Andy Galloway
    ZB 2000: Formal Specification and Development in Z and B
    First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
    06/2003
    Springer
    9783540445258 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  18. Cover: Formal Methods: State of the Art and New Directions - Springer
    Paul Boca | Jonathan P. Bowen | Jawed Siddiqi
    Formal Methods: State of the Art and New Directions
    State of the Art and New Directions
    12/2009
    Springer
    9781848827363 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  19. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Zhiming Liu | Zili Zhang
    Engineering Trustworthy Software Systems
    5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
    08/2020
    Springer
    9783030550882 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  20. Cover: Engineering Trustworthy Software Systems - Springer
    Jonathan P. Bowen | Zhiming Liu | Zili Zhang
    Engineering Trustworthy Software Systems
    Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
    11/2018
    Springer
    9783030029272 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
    2. of 3