作者 Jonathan P. Bowen 的书籍 - BookPine

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Jonathan P. Bowen

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

Jonathan P. Bowen

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

Jonathan P. Bowen

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini

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

Jonathan P. Bowen

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

Jonathan P. Bowen

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

Jonathan P. Bowen

EVA London 2018: Electronic Visualisation and the Arts

EVA London 2018: Electronic Visualisation and the Arts

Jonathan P. Bowen

Eva London 2017: Electronic Visualisation and the Arts

Eva London 2017: Electronic Visualisation and the Arts

Jonathan P. Bowen

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Jonathan P. Bowen

EVA London 2016

EVA London 2016

Jonathan P. Bowen

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Paul P. Boca

Eva London 2014: Electronic Visualisation and the Arts

Eva London 2014: Electronic Visualisation and the Arts

Kia Ng

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Jonathan P. Bowen

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

Jonathan P. Bowen

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology

Michael G. Hinchey

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

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

Jonathan P. Bowen