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 6-8 săpt. -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 6-8 săpt. -18%