The Arts and Computational Culture: Real and Virtual Worlds
Editat de Tula Giannini et al.
28 iun 2024
Hardback
Preț: 1308.39 lei 1635.49 lei
22-36 zile
-20%
Cărți de Jonathan P. Bowen
Formal Methods: State of the Art and New Directions
Editat de Paul Boca et al.
20 oct 2014
Paperback
Preț: 645.65 lei 807.05 lei
43-57 zile
-20%
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Editat de Didier Bert et al.
16 ian 2002
Paperback
Preț: 363.08 lei 453.85 lei
43-57 zile
-20%
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Editat de Jonathan P. Bowen et al.
10 aug 2023
Paperback
Preț: 481.12 lei 601.40 lei
43-57 zile
-20%
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Editat de Jonathan P. Bowen et al.
13 noi 2018
Paperback
Preț: 329.58 lei 411.98 lei
43-57 zile
-20%
Museums and Digital Culture: New Perspectives and Research
Editat de Tula Giannini et al.
16 mai 2019
Hardback
Preț: 1052.77 lei 1315.97 lei
38-44 zile
-20%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 610.87 lei 763.59 lei
38-44 zile
-20%
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Editat de Jonathan P. Bowen et al.
11 ian 2017
Paperback
Preț: 329.11 lei 411.39 lei
43-57 zile
-20%
Electronic Visualisation in Arts and Culture
Editat de Jonathan P. Bowen et al.
18 sep 2013
Hardback
Preț: 940.47 lei 1175.59 lei
43-57 zile
-20%
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Editat de Egon Börger et al.
8 sep 2008
Paperback
Preț: 339.47 lei 424.34 lei
43-57 zile
-20%
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
Editat de Robert M. Hierons et al.
8 apr 2008
Paperback
Preț: 337.85 lei 422.31 lei
43-57 zile
-20%
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Editat de Didier Bert et al.
20 mai 2003
Paperback
Preț: 658.84 lei 823.56 lei
43-57 zile
-20%
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
Editat de Jonathan P. Bowen et al.
16 aug 2000
Paperback
Preț: 361.59 lei 451.98 lei
43-57 zile
-20%
Industrial-Strength Formal Methods in Practice
Editat de Michael G. Hinchey et al.
17 sep 1999
Paperback
Preț: 994.26 lei 1242.82 lei
43-57 zile
-20%
High-Integrity System Specification and Design
Autor Jonathan P. Bowen et al.
12 apr 1999
Paperback
Preț: 357.30 lei 446.63 lei
43-57 zile
-20%
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Editat de Jonathan P. Bowen et al.
16 sep 1998
Paperback
Preț: 339.47 lei 424.34 lei
43-57 zile
-20%
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Editat de Jonathan P. Bowen et al.
20 mar 1997
Paperback
Preț: 339.99 lei 424.99 lei
43-57 zile
-20%
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Editat de Jonathan P. Bowen et al.
23 aug 1995
Paperback
Preț: 660.48 lei 825.60 lei
43-57 zile
-20%