NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Editat de Sanjai Rayadurgam et al.
4 iun 2016
Paperback
Preț: 407.50 lei 509.38 lei
6-8 săpt.
-20%
Programming and Software Engineering
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Editat de Atsushi Igarashi
9 oct 2016
Paperback
Preț: 328.62 lei 410.77 lei
6-8 săpt.
-20%
Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings
Editat de Yassine Ouhammou et al.
6 sep 2017
Paperback
Preț: 325.30 lei 406.63 lei
6-8 săpt.
-20%
Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
Editat de Abhinav Bhatele et al.
25 apr 2019
Paperback
Preț: 374.60 lei 468.25 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Editat de Javier Camara et al.
10 sep 2020
Paperback
Preț: 456.14 lei 570.17 lei
6-8 săpt.
-20%