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%
Cărți de Alexandra Silva
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Editat de Alexandra Silva et al.
17 iul 2021
Paperback
Preț: 324.09 lei 405.11 lei
43-57 zile
-20%
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Editat de Alexandra Silva et al.
6 oct 2021
Paperback
Preț: 459.58 lei 540.68 lei
43-57 zile
-15%
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%
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%