Software Engineering for Robotics Editat de Ana Cavalcanti et al. 6 iul 2021 Hardback Preț: 734.95 lei 918.69 lei 6-8 săpt. -20%
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Lecture Notes in Computer Science, nr. 12546 Editat de Brijesh Dongol et al. 14 noi 2020 Paperback Preț: 323.38 lei 404.22 lei 6-8 săpt. -20%
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I Lecture Notes in Computer Science, nr. 12232 Editat de Emil Sekerinski et al. 13 aug 2020 Paperback Preț: 326.52 lei 408.15 lei 6-8 săpt. -20%
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings Lecture Notes in Computer Science, nr. 11758 Editat de Brijesh Dongol et al. 16 oct 2019 Paperback Preț: 313.17 lei 391.47 lei 6-8 săpt. -20%