Alle bøger i 'Foundations and Trends R in Programming Languages' serier

Der er 20 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Computer-Assisted Query Formulation
- Armando Solar-Lezama & Alvin Cheung
- Bog, paperback
- Læs mere
- kr. 824,95
- kr. 719,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 824,95
- kr. 719,95
  med Shopping-fordele
- Principles of Eventual Consistency
- Sebastian Burckhardt
- Bog, paperback
- Læs mere
- kr. 969,95
- kr. 844,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 969,95
- kr. 844,95
  med Shopping-fordele
- Probabilistic Trace and Testing Semantics
- Marco Bernardo
- Bog, paperback
- Læs mere
- kr. 839,95
- kr. 729,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 839,95
- kr. 729,95
  med Shopping-fordele
- From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
- Deepak Garg , Alejandro Russo & Marco Vassena
- Bog, paperback
- Læs mere
- kr. 1.059,95
- kr. 924,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.059,95
- kr. 924,95
  med Shopping-fordele
- Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
- Antoine Mine
- Bog, paperback
- Læs mere
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Reconciling Abstraction with High Performance
- Oleg Kiselyov
- Bog, paperback
- Læs mere
- kr. 894,95
- kr. 779,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 894,95
- kr. 779,95
  med Shopping-fordele
- Programming with "big Code"
- Eran Yahav & Martin Vechev
- Bog, paperback
- Læs mere
- kr. 614,95
- kr. 554,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 614,95
- kr. 554,95
  med Shopping-fordele
- Nominal Game Semantics
- Andrzej S. Murawski & Nikos Tzevelekos
- Bog, paperback
- Læs mere
- kr. 789,95
- kr. 689,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 789,95
- kr. 689,95
  med Shopping-fordele
- Shape Analysis
- Bor-Yuh Evan Chang , Roman Manevich & Cezara Drăgoi
- Bog, hæftet
- Læs mere
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Program Synthesis
- Oleksandr Polozov , Sumit Gulwani & Rishabh Singh
- Bog, paperback
- Læs mere
- kr. 999,95
- kr. 874,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 999,95
- kr. 874,95
  med Shopping-fordele
- Progress of Concurrent Objects
- Xinyu Feng & Hongjin Liang
- Bog, hæftet
- Læs mere
- kr. 1.059,95
- kr. 924,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.059,95
- kr. 924,95
  med Shopping-fordele
- Pointer Analysis
- Yannis Smaragdakis & George Balatsouras
- Bog, paperback
- Læs mere
- kr. 709,95
- kr. 619,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 709,95
- kr. 619,95
  med Shopping-fordele
- A Framework For Efficient Modular Heap Analysis
- Ravichandhran Madhavan , G. Ramalingam & Kapil Vaswani
- Bog, paperback
- Læs mere
- kr. 899,95
- kr. 789,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 899,95
- kr. 789,95
  med Shopping-fordele
- QED at Large
- Talia Ringer , Karl Palmskog , Ilya Sergey
- Bog, paperback
- Læs mere
- kr. 799,95
- kr. 699,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 799,95
- kr. 699,95
  med Shopping-fordele
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation
- Patrick Patrick , Radhia Radhia & Julien Bertrane
- Bog, paperback
- Læs mere
- kr. 949,95
- kr. 829,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 949,95
- kr. 829,95
  med Shopping-fordele
- Formal Models and Techniques for Analyzing Security Protocols
- Steve Kremer & Véronique Cortier
- Bog, paperback
- Læs mere
- kr. 899,95
- kr. 789,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 899,95
- kr. 789,95
  med Shopping-fordele
- Refinement Types: A Tutorial
- Ranjit Jhala & Niki Vazou
- Bog, hæftet
- Læs mere
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Neurosymbolic Programming
- Oleksandr Polozov , Swarat Chaudhuri & Kevin Ellis
- Bog, paperback
- Læs mere
- kr. 784,95
- kr. 684,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 684,95
  med Shopping-fordele
- Behavioral Types in Programming Languages
- Viviana Bono , Davide Ancona & Mario Bravetti
- Bog, paperback
- Læs mere
- kr. 1.094,95
- kr. 954,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.094,95
- kr. 954,95
  med Shopping-fordele
- Introduction to Neural Network Verification
- Aws Albarghouthi
- Bog, paperback
- Læs mere
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 959,95
  med Shopping-fordele