Jonathan P. Bowen – författare

Visar alla böcker från författaren Jonathan P. Bowen.

27 produkter

1. 

   Electronic Visualisation in Arts and Culture

   Av Jonathan P. Bowen, Suzanne Keene m. fl.

   Inbunden, 2013

   2109 kr

   Lägg i varukorg

2. 

   Formal Methods: State of the Art and New Directions

   Av Paul Boca, Jonathan P. Bowen m. fl.

   Häftad, 2014

   1449 kr

   Lägg i varukorg

3. 

   Electronic Visualisation in Arts and Culture

   Av Jonathan P. Bowen, Suzanne Keene m. fl.

   Häftad, 2016

   2109 kr

   Lägg i varukorg

4. 

   Formal Methods: State of the Art and New Directions

   Av Paul Boca, Jonathan P. Bowen m. fl.

   Inbunden, 2009

   1449 kr

   Lägg i varukorg

5. 

   Industrial-Strength Formal Methods in Practice

   Av Michael G. Hinchey, Jonathan P. Bowen

   Häftad, 1999

   2169 kr

   Lägg i varukorg

6. 

   Engineering Trustworthy Software Systems

   Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

   Av Jonathan P. Bowen, Zhiming Liu m. fl.

   Häftad, 2018

   729 kr

   Lägg i varukorg

7. 

   Engineering Trustworthy Software Systems

   4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

   Av Jonathan P. Bowen, Zhiming Liu m. fl.

   Häftad, 2019

   839 kr

   Lägg i varukorg

8. 

   Engineering Trustworthy Software Systems

   5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

   Av Jonathan P. Bowen, Zhiming Liu m. fl.

   Häftad, 2020

   729 kr

   Lägg i varukorg

9. 

   Theories of Programming and Formal Methods

   Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

   Av Jonathan P. Bowen, Qin Li m. fl.

   Häftad, 2023

   1019 kr

   Lägg i varukorg

10. 

    Arts and Computational Culture: Real and Virtual Worlds

    Av Tula Giannini, Jonathan P. Bowen

    Inbunden, 2024

    3309 kr

    Lägg i varukorg

11. 

    Arts and Computational Culture: Real and Virtual Worlds

    Av Tula Giannini, Jonathan P. Bowen

    Häftad, 2025

    3319 kr

    Lägg i varukorg

12. 

    Provably Correct Systems

    Av Mike Hinchey, Jonathan P. Bowen m. fl.

    Inbunden, 2017

    1449 kr

    Lägg i varukorg

13. 

    Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Av Jonathan P. Bowen, Huibiao Zhu

    Häftad, 2017

    729 kr

    Lägg i varukorg

14. 

    Engineering Trustworthy Software Systems

    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

    Av Jonathan P. Bowen, Zhiming Liu m. fl.

    Häftad, 2017

    729 kr

    Lägg i varukorg

15. 

    Provably Correct Systems

    Av Mike Hinchey, Jonathan P. Bowen m. fl.

    Häftad, 2018

    1449 kr

    Lägg i varukorg

16. 

    Museums and Digital Culture

    New Perspectives and Research

    Av Tula Giannini, Jonathan P. Bowen

    Inbunden, 2019

    2459 kr

    Lägg i varukorg

17. 

    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

    Av Didier Bert, Jonathan P. Bowen m. fl.

    Häftad, 2003

    1449 kr

    Lägg i varukorg

18. 

    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

    Av Didier Bert, Jonathan P. Bowen m. fl.

    Häftad, 2002

    709 kr

    Lägg i varukorg

19. 

    ZUM '95: The Z Formal Specification Notation

    9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

    Av Jonathan P. Bowen, Michael G. Hinchey

    Häftad, 1995

    1449 kr

    Lägg i varukorg

20. 

    ZUM'97: The Z Formal Specification Notation

    10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

    Av Jonathan P. Bowen, Michael G. Hinchey m. fl.

    Häftad, 1997

    729 kr

    Lägg i varukorg

21. 

    ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

    Av Jonathan P. Bowen, Andreas Fett m. fl.

    Häftad, 1998

    729 kr

    Lägg i varukorg

22. 

    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

    Av Jonathan P. Bowen, Steve Dunne m. fl.

    Häftad, 2000

    729 kr

    Lägg i varukorg

23. 

    High-Integrity System Specification and Design

    Av Jonathan P. Bowen, Michael G. Hinchey

    Häftad, 1999

    729 kr

    Lägg i varukorg

24. 

    Formal Methods and Testing

    An Outcome of the FORTEST Network. Revised Selected Papers

    Av Robert M. Hierons, Jonathan P. Bowen m. fl.

    Häftad, 2008

    729 kr

    Lägg i varukorg

25. 

    Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

    Av Egon Börger, Michael Butler m. fl.

    Häftad, 2008

    729 kr

    Lägg i varukorg

26. 

    Engineering Trustworthy Software Systems

    7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures

    Av Jonathan P. Bowen, Andrea Turrini

    Häftad, 2026

    729 kr

    Lägg i varukorg

27. 

    Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

    Av Jonathan P. Bowen, Cláudio Gomes m. fl.

    Häftad, 2025

    729 kr

    Lägg i varukorg