Jonathan P Bowen | Akateeminen Kirjakauppa

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

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

59,40 €

Provably Correct Systems

Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger
Springer International Publishing AG
2017
Kovakantinen kirja

101,40 €

ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995

Bowen, Jonathan P.; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

101,40 €

ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998,

Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

51,40 €

ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedin

Bowen, Jonathan P.; Hinchey, Michael G.; Till, David
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Pehmeäkantinen kirja

51,40 €

ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users York, UK, August 29 -

Bowen, Jonathan P.; Dunne, Steve; Galloway, Andy; King, Steve
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2000
Pehmeäkantinen kirja

51,40 €

EVA London 2011 - Electronic Visualisation and the Arts

Bowen, Jonathan P.; Dunn, Stuart; Ng, Kia
BCS Learning & Development Limited
2011
Pehmeäkantinen kirja

171,20 €

Electronic Visualisation in Arts and Culture

Bowen, Jonathan P.; Keene, Suzanne; Ng, Kia
Springer London Ltd
2013
Kovakantinen kirja

134,60 €

High-Integrity System Specification and Design

Bowen, Jonathan P.; Hinchey, Michael G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja

51,40 €

Electronic Visualisation in Arts and Culture

Bowen, Jonathan P.; Keene, Suzanne; Ng, Kia
Springer London Ltd
2016
Pehmeäkantinen kirja

134,60 €

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

Bowen, Jonathan P.; Zhu, Huibiao
Springer
2017
Pehmeäkantinen kirja

51,40 €

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

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,40 €

EVA London 2017 - Electronic Visualisation and the Arts

Bowen, Jonathan P.; Diprose, Graham; Lambert, Dr Nick
BCS Learning & Development Limited
2017
Pehmeäkantinen kirja

169,70 €

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

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer
2018
Pehmeäkantinen kirja

51,40 €

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

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,40 €

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

Bowen, Jonathan P.; Li, Qin; Xu, Qiwen
Springer International Publishing AG
2023
Pehmeäkantinen kirja

71,40 €

Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial L

Bowen, Jonathan P. ; Gomes, Cláudio; Liu, Zhiming
Springer Nature Switzerland AG
2025
Pehmeäkantinen kirja

51,40 €

Industrial-Strength Formal Methods in Practice

Hinchey, Michael G.; Bowen, Jonathan P.
Springer London Ltd
1999
Pehmeäkantinen kirja

134,60 €

ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland, June

Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

101,40 €

ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users Grenoble, France, Janua

Bert, Didier; Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja

51,40 €