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.
22 dec 2009
Hardback
Preț: 625.93 lei 782.42 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.
3 mai 2018
Paperback
Preț: 647.78 lei 809.73 lei
38-45 zile
-20%
Theories of Programming and Formal Methods
Editat de Jonathan P. Bowen et al.
10 aug 2023
Paperback
Preț: 464.42 lei 580.53 lei
6-8 săpt.
-20%
Engineering Trustworthy Software Systems
Editat de Jonathan P. Bowen et al.
5 apr 2025
Paperback
Preț: 322.93 lei 403.66 lei
38-45 zile
-20%
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Editat de Jonathan P. Bowen et al.
aug 2020
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.
23 aug 2016
Paperback
Preț: 889.41 lei 1111.76 lei
38-45 zile
-20%