You are here: › › › Jonathan P. Bowen
Jonathan P. Bowen

Jonathan P. Bowen

38 books

Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing)

Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing)

by Jonathan P. Bowen

4.50 of 2

High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))

High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))

by Jonathan P. Bowen

3.50 of 2

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 (Lecture Notes in Computer Science, 1878)

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 (Lecture Notes in Computer Science, 1878)

by Jonathan P. Bowen

5.00 of 1

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science, 967)

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science, 967)

by Jonathan P. Bowen

5.00 of 1

Eva London 2011: Electronic Visualisation and the Arts

Eva London 2011: Electronic Visualisation and the Arts

by Jonathan P. Bowen

5.00 of 1

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994

by Jonathan P. Bowen

5.00 of 1

Engineering Trustworthy Software Systems: 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures (Lecture Notes in Computer Science, 16481)

Engineering Trustworthy Software Systems: 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures (Lecture Notes in Computer Science, 16481)

by Jonathan P. Bowen

0.0 of 0

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992

by Jonathan P. Bowen

0.0 of 0

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science Book 14080)

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science Book 14080)

by Jonathan P. Bowen

0.0 of 0

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)

by Jonathan P. Bowen

0.0 of 0

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

by Jonathan P. Bowen

0.0 of 0

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

by Jonathan P. Bowen

0.0 of 0

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

by Jonathan P. Bowen

0.0 of 0

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

by Jonathan P. Bowen

0.0 of 0

EVA London 2018: Electronic Visualisation and the Arts

EVA London 2018: Electronic Visualisation and the Arts

by Jonathan P. Bowen

0.0 of 0

Eva London 2017: Electronic Visualisation and the Arts

Eva London 2017: Electronic Visualisation and the Arts

by Jonathan P. Bowen

0.0 of 0

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

by Jonathan P. Bowen

0.0 of 0

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science Book 10134)

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science Book 10134)

by Jonathan P. Bowen

0.0 of 0