Tests and Proofs Editat de Achim Brucker et al. 16 mai 2012 Paperback Preț: 398.73 lei 498.42 lei 43-57 zile -20%
B 2007: Formal Specification and Development in B Editat de Jacques Julliand et al. 14 dec 2006 Paperback Preț: 322.80 lei 403.50 lei 43-57 zile -20%