Integrated Formal Methods Editat de Eerke Boiten et al. 24 mar 2004 Paperback Preț: 335.48 lei 419.35 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ț: 327.07 lei 408.84 lei 6-8 săpt. | 7-13 zile -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Editat de John Derrick et al. 12 iun 2007 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%