Integrated Formal Methods Editat de Eerke Boiten et al. 24 mar 2004 Paperback Preț: 334.44 lei 418.06 lei 43-57 zile -20%
Abstract State Machines, Alloy, B, VDM, and Z Editat de John Derrick et al. 12 iun 2012 Paperback Preț: 326.07 lei 407.59 lei 43-57 zile | 5-11 zile -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Editat de John Derrick et al. 12 iun 2007 Paperback Preț: 325.88 lei 407.36 lei 43-57 zile -20%