Formal Methods: Foundations and Applications Lecture Notes in Computer Science, nr. 9526 Editat de Márcio Cornélio et al. 3 feb 2016 Paperback Preț: 262.98 lei 328.73 lei 6-8 săpt. -20%
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings Lecture Notes in Computer Science, nr. 10951 Editat de Klaus Havelund et al. 12 iul 2018 Paperback Preț: 585.31 lei 731.65 lei 6-8 săpt. -20%