Formal Methods for Open Object-Based Distributed Systems Editat de Elie Najm et al. 30 noi 1996 Hardback Preț: 1325.28 lei 1656.61 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%