Foundations and Trends(r) in Programming Languages

Principles of Eventual Consistency

Foundations and Trends(r) in Programming Languages, nr. 1

Autor Sebastian Burckhardt

8 oct 2014

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

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

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

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

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

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

Preț: 381^.77 lei 477^.21 lei

6-8 săpt.

-20%