ZB 2002: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
16 ian 2002
Paperback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-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ț: 620.69 lei 775.87 lei
6-8 săpt.
-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ț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
ZB 2003: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
20 mai 2003
Paperback
Preț: 635.65 lei 794.57 lei
6-8 săpt.
-20%
ZB 2000: Formal Specification and Development in Z and B
Editat de Jonathan P. Bowen et al.
16 aug 2000
Paperback
Preț: 332.81 lei 416.02 lei
6-8 săpt.
-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ț: 634.94 lei 793.68 lei
6-8 săpt.
-20%
Industrial-Strength Formal Methods in Practice
Editat de Michael G. Hinchey et al.
17 sep 1999
Paperback
Preț: 955.62 lei 1194.53 lei
6-8 săpt.
-20%
ZUM '98: The Z Formal Specification Notation
Editat de Jonathan P. Bowen et al.
16 sep 1998
Paperback
Preț: 328.34 lei 410.42 lei
6-8 săpt.
-20%
ZUM'97: The Z Formal Specification Notation
Editat de Jonathan P. Bowen et al.
20 mar 1997
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Formal Methods and Testing
Editat de Robert M. Hierons et al.
8 apr 2008
Paperback
Preț: 325.69 lei 407.10 lei
6-8 săpt.
-20%
High-Integrity System Specification and Design
Autor Jonathan P. Bowen et al.
12 apr 1999
Paperback
Preț: 343.68 lei 429.60 lei
6-8 săpt.
-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ț: 316.59 lei 395.75 lei
6-8 săpt.
-20%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 661.12 lei 826.40 lei
38-45 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ț: 462.64 lei 578.30 lei
6-8 săpt.
-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ț: 317.05 lei 396.31 lei
6-8 săpt.
-20%
Electronic Visualisation in Arts and Culture
Editat de Jonathan P. Bowen et al.
18 sep 2013
Hardback
Preț: 953.23 lei 1191.54 lei
6-8 săpt.
-20%