Principles of Eventual Consistency Foundations and Trends(r) in Programming Languages, nr. 1 Autor Sebastian Burckhardt 8 oct 2014 Paperback Preț: 503.80 lei 629.75 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ț: 457.44 lei 571.80 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ț: 432.33 lei 540.41 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ț: 331.09 lei 413.86 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ț: 457.58 lei 571.98 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ț: 455.47 lei 569.34 lei 6-8 săpt. -20%
Computer-Assisted Query Formulation Foundations and Trends(r) in Programming Languages, nr. 7 Autor Alvin Cheung et al. 13 iun 2016 Paperback Preț: 381.77 lei 477.21 lei 6-8 săpt. -20%