Computer Aided Verification
Autor Hana Chockler et al.
7 oct 2020
Paperback
Preț: 344.97 lei 431.21 lei
6-8 săpt.
-20%
Lecture Notes in Computer Science
Multiple-Aspect Analysis of Semantic Trajectories
Autor Stan Matwin et al.
7 oct 2020
Paperback
Preț: 206.26 lei 257.83 lei
6-8 săpt.
-20%
Programming Languages and Systems
Autor Peter Müller
8 oct 2020
Paperback
Preț: 845.13 lei 1097.58 lei
38-44 zile
-23%