Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- 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(r) in Programming Languages
-
Formal Models and Techniques for Analyzing Security Protocols
Véronique Cortier, Steve Kremer
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 2
- Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secu... Lees meer
€ 78,45Levertermijn 1 à 4 weken€ 78,45Levertermijn 1 à 4 weken -
Nominal Game Semantics
Andrzej S Murawski, Nikos Tzevelekos
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 6
- Nominal Game Semantics complements existing introductory literature to game semantics, which highlight the then new structural components necessary to... Lees meer
€ 68,45Levertermijn 1 à 4 weken€ 68,45Levertermijn 1 à 4 weken -
Reconciling Abstraction with High Performance
Oleg Kiselyov
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 12
- Reconciling Abstraction with High Performance: A MetaOCaml Approach teaches the reader how to write typed code generators, how to make them modular, a... 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 | Engels | Foundations and Trends(r) in Programming Languages | nr. 3
- Modular heap analysis techniques analyze 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 -
Qed at Large
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 13
- Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program s... Lees meer
€ 123,45Levering 1 à 2 weken€ 123,45Levering 1 à 2 weken -
Neurosymbolic Programming
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
- Paperback | Engels | Foundations and Trends(r) in Programming Languages
- Neurosymbolic programming is an emerging area that bridges the areas of deep learning and program synthesis. As in classical machine learning, the goa... Lees meer
€ 74,45Levertermijn 1 à 4 weken€ 74,45Levertermijn 1 à 4 weken -
Principles of Eventual Consistency
Sebastian Burckhardt
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 1
- In globally distributed systems, shared state is never perfect. When communication is neither fast nor reliable, it is not possible to achieve strong ... Lees meer
€ 83,95Levertermijn 1 à 4 weken€ 83,95Levertermijn 1 à 4 weken -
Pointer Analysis
Yannis Smaragdakis, George Balatsouras
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 4
- Pointer analysis is a fundamental static program analysis with a rich literature and wide applications. The goal of pointer analysis is to compute an ... 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 Deniélou, Simon J Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martin, Viviana Mascardi, Fabrizi Montesi
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 8
- A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communicatio... Lees meer
€ 95,45Levertermijn 1 à 4 weken€ 95,45Levertermijn 1 à 4 weken -
Refinement Types
Ranjit Jhala, Niki Vazou
- Paperback | Engels | Foundations and Trends(r) in Programming Languages
- Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and... Lees meer
€ 102,45Levertermijn 1 à 4 weken€ 102,45Levertermijn 1 à 4 weken -
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 5
- It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph ... Lees meer
€ 82,45Levertermijn 1 à 4 weken€ 82,45Levertermijn 1 à 4 weken -
Shape Analysis
Bor-Yuh Evan Chang, Cezara Drăgoi, Roman Manevich, Noam Rinetzky, Xavier Rival
- Paperback | Engels | Foundations and Trends(r) in Programming Languages
- Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infi... Lees meer
€ 107,95Levertermijn 1 à 4 weken€ 107,95Levertermijn 1 à 4 weken -
Program Synthesis
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 10
- Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in th... Lees meer
€ 97,95Levertermijn 1 à 4 weken€ 97,95Levertermijn 1 à 4 weken -
Programming with Big Code
Eran Yahav, Martin Vechev
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 9
- The vast amount of code available on the web is increasing daily. Open-source hosting sites such as GitHub contain billions of lines of code. Communit... Lees meer
€ 61,45Levertermijn 1 à 4 weken€ 61,45Levertermijn 1 à 4 weken -
Computer-Assisted Query Formulation
Alvin Cheung, Armando Solar-Lezama
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 7
- Database management systems (DBMS) typically provide an application programming interface for users to issue queries using query languages such as SQL... Lees meer
€ 71,45Levertermijn 1 à 4 weken€ 71,45Levertermijn 1 à 4 weken -
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Antoine Miné
- Paperback | Engels | Foundations and Trends(r) in Programming Languages | nr. 11
- This monograph presents Abstract Interpretation and its use to create static analyzers that infer numeric properties on programs. Abstract Interpretat... Lees meer
€ 103,45Levertermijn 1 à 4 weken€ 103,45Levertermijn 1 à 4 weken -
Introduction to Neural Network Verification
Aws Albarghouthi
- Paperback | Engels | Foundations and Trends(r) in Programming Languages
- Over the past decade, a number of hardware and software advances have conspired to thrust deep learning and neural networks to the forefront of comput... Lees meer
€ 103,45Levertermijn 1 à 4 weken€ 103,45Levertermijn 1 à 4 weken -
Probabilistic Trace and Testing Semantics
Marco Bernardo
- Paperback | Engels | Foundations and Trends(r) in Programming Languages
- In this monograph, the author focuses on trace and testing semantics for nondeterministic and probabilistic processes represented by simple probabilis... Lees meer
€ 101,95Levering 1 à 4 weken€ 101,95Levering 1 à 4 weken
18 van 18 resultaten getoond