Retrait en 2 heures
Assortiment impressionnant
Paiement sécurisé
Toujours un magasin près de chez vous

Retrait gratuit dans votre magasin Club
7.000.0000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

Séries : livres de la série Foundations and Trends® in Programming Languages

Séries : livres de la série Foundations and Trends® in Programming Languages

Librarie Club

Tous les livres de la série Foundations and Trends® in Programming Languages

11 résultats

Trier par

Formal Models and Techniques for Analyzing Security Protocols

Veronique Cortier, Steve Kremer
- Livre broché | Foundations and Trends® in Programming Languages
- Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in t... Savoir plus
78,45 €

Livraison sous 1 à 4 semaines

supprimer
78,45 €

Livraison sous 1 à 4 semaines
Reconciling Abstraction with High Performance

Oleg Kiselyov
- Livre broché | Foundations and Trends® in Programming Languages
- Assuming no prior knowledge of MetaOCaml and only a basic familiarity with functional programming, this book explains and illustrates how to implement... Savoir plus
82,45 €

Livraison sous 1 à 4 semaines

supprimer
82,45 €

Livraison sous 1 à 4 semaines
Nominal Game Semantics

Andrzej S. Murawski, Nikos Tzevelekos
- Livre broché | Foundations and Trends® in Programming Languages
- Complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order com... Savoir plus
68,45 €

Livraison sous 1 à 4 semaines

supprimer
68,45 €

Livraison sous 1 à 4 semaines
A Framework For Efficient Modular Heap Analysis

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
- Livre broché | Foundations and Trends® in Programming Languages
- Modular heap analysis techniques analyse a program by computing summaries for every procedure in the program that describes its effects on an input he... Savoir plus
78,45 €

Livraison sous 1 à 4 semaines

supprimer
78,45 €

Livraison sous 1 à 4 semaines
Principles of Eventual Consistency

Sebastian Burckhardt
- Livre broché | Foundations and Trends® in Programming Languages
- Examines both the what and the how of consistency in distributed systems. The book provides the reader with tools for reasoning about consistency of p... Savoir plus
83,95 €

Livraison sous 1 à 4 semaines

supprimer
83,95 €

Livraison sous 1 à 4 semaines
Pointer Analysis

Yannis Smaragdakis, George Balatsouras
- Livre broché | Foundations and Trends® in Programming Languages
- Introduces the most common modern approaches to pointer analysis, with an emphasis on distilling the essence of common analysis algorithms. The focus ... Savoir plus
61,45 €

Livraison sous 1 à 4 semaines

supprimer
61,45 €

Livraison sous 1 à 4 semaines
Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Denielou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu
- Livre broché | Foundations and Trends® in Programming Languages
- The successful application of behavioural types requires an understanding of several practical aspects, from their representation in a concrete progra... Savoir plus
95,45 €

Livraison sous 1 à 4 semaines

supprimer
95,45 €

Livraison sous 1 à 4 semaines
Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, Xavier Rival
- Livre broché | Foundations and Trends® in Programming Languages
- It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This book prese... Savoir plus
82,45 €

Livraison sous 1 à 4 semaines

supprimer
82,45 €

Livraison sous 1 à 4 semaines
Programming with "Big Code"

Eran Yahav, Martin Vechev
- Livre broché | Foundations and Trends® in Programming Languages
- The vast amount of code available on the web is increasing daily. Open-source hosting sites contain billions of lines of code. Community question-answ... Savoir plus
61,45 €

Livraison sous 1 à 4 semaines

supprimer
61,45 €

Livraison sous 1 à 4 semaines
Computer-Assisted Query Formulation

Alvin Cheung, Armando Solar-Lezama
- Livre broché | Foundations and Trends® in Programming Languages
- Describes a set of technologies that assist users in specifying database queries for different application domains. The goal of such systems is to bri... Savoir plus
71,45 €

Livraison sous 1 à 4 semaines

supprimer
71,45 €

Livraison sous 1 à 4 semaines
Introduction to Neural Network Verification

Aws Albarghouthi
- Livre broché | Foundations and Trends® in Programming Languages
- Every day we’re seeing new applications of deep learning, from healthcare to art, and it feels like we’re only scratching the surface of a universe of... Savoir plus
103,45 €

Livraison sous 1 à 4 semaines

supprimer
103,45 €

Livraison sous 1 à 4 semaines