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ț: 514^.17 lei 642^.72 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ț: 466^.85 lei 583^.56 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ț: 441^.23 lei 551^.53 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ț: 337^.88 lei 422^.35 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ț: 467^.00 lei 583^.75 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ț: 464^.86 lei 581^.07 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ț: 389^.60 lei 487^.00 lei

6-8 săpt.

-20%