Integrated Formal Methods Editat de Eerke Boiten et al. 24 mar 2004 Paperback Preț: 334.44 lei 418.06 lei 6-8 săpt. -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 6-8 săpt. | 6-12 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 6-8 săpt. -20%