- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Foundations and Trends® in Programming Languages
-
Formal Models and Techniques for Analyzing Security Protocols
Veronique Cortier, Steve Kremer
- Paperback | 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... Lees meer
€ 78,45Levertermijn 1 à 4 weken€ 78,45Levertermijn 1 à 4 weken -
Nominal Game Semantics
Andrzej S. Murawski, Nikos Tzevelekos
- Paperback | 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... Lees meer
€ 68,45Levertermijn 1 à 4 weken€ 68,45Levertermijn 1 à 4 weken -
Reconciling Abstraction with High Performance
Oleg Kiselyov
- Paperback | 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... Lees meer
€ 82,45Levertermijn 1 à 4 weken€ 82,45Levertermijn 1 à 4 weken -
A Framework For Efficient Modular Heap Analysis
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
- Paperback | 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... Lees meer
€ 78,45Levertermijn 1 à 4 weken€ 78,45Levertermijn 1 à 4 weken -
Principles of Eventual Consistency
Sebastian Burckhardt
- Paperback | 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... Lees meer
€ 83,95Levertermijn 1 à 4 weken€ 83,95Levertermijn 1 à 4 weken -
Pointer Analysis
Yannis Smaragdakis, George Balatsouras
- Paperback | 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 ... Lees meer
€ 61,45Levertermijn 1 à 4 weken€ 61,45Levertermijn 1 à 4 weken -
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
- Paperback | 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... Lees meer
€ 95,45Levertermijn 1 à 4 weken€ 95,45Levertermijn 1 à 4 weken -
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, Xavier Rival
- Paperback | 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... Lees meer
€ 82,45Levertermijn 1 à 4 weken€ 82,45Levertermijn 1 à 4 weken -
Computer-Assisted Query Formulation
Alvin Cheung, Armando Solar-Lezama
- Paperback | 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... Lees meer
€ 71,45Levertermijn 1 à 4 weken€ 71,45Levertermijn 1 à 4 weken -
Programming with "Big Code"
Eran Yahav, Martin Vechev
- Paperback | 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... Lees meer
€ 61,45Levertermijn 1 à 4 weken€ 61,45Levertermijn 1 à 4 weken -
Introduction to Neural Network Verification
Aws Albarghouthi
- Paperback | 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... Lees meer
€ 103,45Levertermijn 1 à 4 weken€ 103,45Levertermijn 1 à 4 weken
11 van 11 resultaten getoond