Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Editat de Elvira Albert et al.
15 sep 2014
Paperback
Preț: 324.81 lei 406.00 lei
6-8 săpt.
-20%
Cărți de Elvira Albert
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
Editat de Elvira Albert et al.
27 iun 2016
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Editat de Elvira Albert
3 mai 2013
Paperback
Preț: 407.76 lei 479.72 lei
6-8 săpt.
-15%