Computer Aided Verification
Editat de Alexandra Silva et al.
18 iul 2021
Paperback
Preț: 327.88 lei 409.86 lei
43-57 zile
-20%
Cărți de Alexandra Silva
Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 422.09 lei 527.61 lei
22-36 zile | 6-12 zile
-20%
Language, Logic, and Computation
Editat de Alexandra Silva et al.
4 iul 2019
Paperback
Preț: 325.83 lei 407.29 lei
43-57 zile
-20%
Formal Techniques for Distributed Objects, Components, and Systems
Editat de Ahmed Bouajjani et al.
28 mai 2017
Paperback
Preț: 320.14 lei 400.17 lei
43-57 zile
-20%
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Editat de Robert L. Constable et al.
11 apr 2012
Paperback
Preț: 324.99 lei 406.23 lei
43-57 zile
-20%