Formal Methods for Open Object-based Distributed Systems Editat de Elie Najm et al. 30 noi 1996 Hardback Preț: 1289.39 lei 1611.73 lei 43-57 zile -20%
Formal Description Techniques and Protocol Specification, Testing and Verification IFIP Advances in Information and Communication Technology, nr. 6 Editat de Stan Budkowski et al. 5 mar 2013 Paperback Preț: 1198.40 lei 1461.46 lei 43-57 zile -18%