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

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Michael G. Hinchey

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Egon Börger

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