Libri di 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

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

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

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 2017: Electronic Visualisation and the Arts

Eva London 2017: Electronic Visualisation and the Arts

Jonathan P. Bowen

Provably Correct Systems

Provably Correct Systems

Mike Hinchey

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

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