Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings Lecture Notes in Computer Science, nr. 8739 Editat de Elvira Albert et al. 15 sep 2014 Paperback Preț: 324.81 lei 406.00 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Lecture Notes in Computer Science, nr. 9688 Editat de Elvira Albert et al. 27 iun 2016 Paperback Preț: 319.60 lei 399.50 lei 6-8 săpt. -20%