Engineering Trustworthy Software Systems Lecture Notes in Computer Science, nr. 15584 Editat de Jonathan P. Bowen et al. 5 apr 2025 Paperback Preț: 323.04 lei 403.81 lei 38-44 zile -20%
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 6-8 săpt. -20%
Theories of Programming and Formal Methods Lecture Notes in Computer Science, nr. 14080 Editat de Jonathan P. Bowen et al. 10 aug 2023 Paperback Preț: 465.87 lei 582.33 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ț: 637.63 lei 797.04 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ț: 333.82 lei 417.28 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ț: 329.94 lei 412.42 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ț: 329.35 lei 411.69 lei 6-8 săpt. -20%
Formal Methods and Testing Editat de Robert M. Hierons et al. 8 apr 2008 Paperback Preț: 326.68 lei 408.36 lei 6-8 săpt. -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 6-8 săpt. -20%
Provably Correct Systems NASA Monographs in Systems and Software Engineering Editat de Mike Hinchey et al. 10 mar 2017 Hardback Preț: 660.61 lei 825.75 lei 38-44 zile -20%