Principles of Eventual Consistency Foundations and Trends(r) in Programming Languages, nr. 1 Autor Sebastian Burckhardt 8 oct 2014 Paperback Preț: 494.39 lei 617.99 lei 6-8 săpt. -20%
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial Foundations and Trends(r) in Programming Languages, nr. 2 Autor Veronique Cortier et al. 13 noi 2014 Paperback Preț: 448.94 lei 561.17 lei 6-8 săpt. -20%
A Framework for Efficient Modular Heap Analysis Foundations and Trends(r) in Programming Languages, nr. 3 Autor Ravichandhran Madhavan et al. 6 ian 2015 Paperback Preț: 424.31 lei 530.39 lei 6-8 săpt. -20%
Pointer Analysis Foundations and Trends(r) in Programming Languages, nr. 4 Autor Yannis Smaragdakis et al. 29 apr 2015 Paperback Preț: 325.02 lei 406.27 lei 6-8 săpt. -20%
Static Analysis and Verification of Aerospace Software by Abstract Interpretation Foundations and Trends(r) in Programming Languages, nr. 5 Autor Julien Bertrane et al. 17 noi 2015 Paperback Preț: 449.07 lei 561.34 lei 6-8 săpt. -20%
Nominal Game Semantics Foundations and Trends(r) in Programming Languages, nr. 6 Autor Andrzej S. Murawski et al. 29 feb 2016 Paperback Preț: 447.00 lei 558.75 lei 6-8 săpt. -20%