Computer Aided Verification
Autor Hana Chockler et al.
7 oct 2020
Hardback
Preț: 413.43 lei 516.79 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
Hardback
Preț: 278.68 lei 348.34 lei
6-8 săpt.
-20%
Programming Languages and Systems
Autor Peter Müller
8 oct 2020
Hardback
Preț: 927.63 lei 1204.71 lei
38-44 zile
-23%