Formal Methods for Open Object-Based Distributed Systems Editat de Elie Najm et al. 10 noi 2003 Paperback Preț: 321.60 lei 402.00 lei 6-8 săpt. -20%
Formal Methods for Open Object-based Distributed Systems Editat de Elie Najm et al. 30 noi 1996 Hardback Preț: 1235.54 lei 1544.43 lei 6-8 săpt. -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings Lecture Notes in Computer Science, nr. 4229 Editat de Elie Najm et al. 27 sep 2006 Paperback Preț: 631.31 lei 789.14 lei 6-8 săpt. -20%
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France IFIP Advances in Information and Communication Technology, nr. 6 Editat de Stan Budkowski et al. 5 mar 2013 Paperback Preț: 1177.92 lei 1436.50 lei 6-8 săpt. -18%