6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994 Workshops in Computing Editat de David Till 19 iul 1994 Paperback Preț: 320.86 lei 401.08 lei 43-57 zile -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 43-57 zile -20%