Engineering Trustworthy Software Systems
Editat de Jonathan P. Bowen et al.
5 apr 2025
Paperback
Preț: 322.68 lei 403.35 lei
38-44 zile
-20%
Cărți de Jonathan P. Bowen
ZB 2002: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
16 ian 2002
Paperback
Preț: 335.05 lei 418.81 lei
43-57 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
43-57 zile
-20%
Abstract State Machines, B and Z
Editat de Egon Börger et al.
8 sep 2008
Paperback
Preț: 327.27 lei 409.09 lei
43-57 zile
-20%
ZB 2003: Formal Specification and Development in Z and B
Editat de Didier Bert et al.
20 mai 2003
Paperback
Preț: 637.63 lei 797.04 lei
43-57 zile
-20%
ZUM '95: The Z Formal Specification Notation
Editat de Jonathan P. Bowen et al.
23 aug 1995
Paperback
Preț: 639.03 lei 798.79 lei
43-57 zile
-20%
ZB 2000: Formal Specification and Development in Z and B
Editat de Jonathan P. Bowen et al.
16 aug 2000
Paperback
Preț: 333.82 lei 417.28 lei
43-57 zile
-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
43-57 zile
-20%
ZUM'97: The Z Formal Specification Notation
Editat de Jonathan P. Bowen et al.
20 mar 1997
Paperback
Preț: 329.94 lei 412.42 lei
43-57 zile
-20%
ZUM '98: The Z Formal Specification Notation
Editat de Jonathan P. Bowen et al.
16 sep 1998
Paperback
Preț: 329.35 lei 411.69 lei
43-57 zile
-20%
Formal Methods and Testing
Editat de Robert M. Hierons et al.
8 apr 2008
Paperback
Preț: 326.68 lei 408.36 lei
43-57 zile
-20%
High-Integrity System Specification and Design
Autor Jonathan P. Bowen et al.
12 apr 1999
Paperback
Preț: 343.68 lei 429.60 lei
43-57 zile
-20%
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
43-57 zile
-20%
Electronic Visualisation in Arts and Culture
Editat de Jonathan P. Bowen et al.
18 sep 2013
Hardback
Preț: 950.44 lei 1188.04 lei
43-57 zile
-20%
Engineering Trustworthy Software Systems
Editat de Jonathan P. Bowen et al.
13 noi 2018
Paperback
Preț: 319.10 lei 398.88 lei
43-57 zile
-20%
Provably Correct Systems
Editat de Mike Hinchey et al.
10 mar 2017
Hardback
Preț: 660.61 lei 825.75 lei
38-44 zile
-20%
Unifying Theories of Programming
Editat de Jonathan P. Bowen et al.
11 ian 2017
Paperback
Preț: 318.48 lei 398.10 lei
43-57 zile
-20%