Engineering Trustworthy Software Systems Lecture Notes in Computer Science Editat de Jonathan P. Bowen et al. 5 apr 2025 Paperback Preț: 322.93 lei 403.66 lei 38-44 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%
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%
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 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%
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 '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%