19 results
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
19 results

Your search for Foundations and Trends (R) in Programming Languages

  1. Cover: Refinement Types - now publishers Inc
    Ranjit Jhala | Niki Vazou
    Refinement Types
    A Tutorial
    10/2021
    now publishers Inc
    9781680838848 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  2. Cover: Neurosymbolic Programming - now publishers Inc
    Swarat Chaudhuri | Kevin Ellis | Oleksandr Polozov
    Neurosymbolic Programming
    12/2021
    now publishers Inc
    9781680839340 (ISBN)
    Book
    Paperback/Softback
    €94.28
    Shipment within 10-20 days
  3. Cover: Introduction to Neural Network Verification - now publishers Inc
    Aws Albarghouthi
    Introduction to Neural Network Verification
    12/2021
    now publishers Inc
    9781680839104 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  4. Cover: Shape Analysis - now publishers Inc
    Bor-Yuh Evan Chang | Cezara Dragoi | Roman Manevich
    Shape Analysis
    10/2020
    now publishers Inc
    9781680837322 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  5. Cover: QED at Large - now publishers Inc
    Talia Ringer | Karl Palmskog | Ilya Sergey
    QED at Large
    A Survey of Engineering of Formally Verified Software
    09/2019
    now publishers Inc
    9781680835946 (ISBN)
    Book
    Paperback/Softback
    €132.97
    Shipment within 10-20 days
  6. Cover: Progress of Concurrent Objects - now publishers Inc
    Hongjin Liang | Xinyu Feng
    Progress of Concurrent Objects
    05/2020
    now publishers Inc
    9781680836721 (ISBN)
    Book
    Paperback/Softback
    €120.34
    Shipment within 10-20 days
  7. Cover: Programming with "Big Code" - now publishers Inc
    Eran Yahav | Martin Vechev
    Programming with "Big Code"
    12/2016
    1st EDN1st Edition
    now publishers Inc
    9781680832303 (ISBN)
    Book
    Paperback/Softback
    €51.00
    Shipment within 10-20 days
  8. Cover: Reconciling Abstraction with High Performance - now publishers Inc
    Oleg Kiselyov
    Reconciling Abstraction with High Performance
    A MetaOCaml approach
    06/2018
    now publishers Inc
    9781680834369 (ISBN)
    Book
    Paperback/Softback
    €105.42
    Shipment within 10-20 days
  9. Cover: Probabilistic Trace and Testing Semantics - now publishers Inc
    Marco Bernardo
    Probabilistic Trace and Testing Semantics
    The Importance of Being Coherent
    08/2022
    now publishers Inc
    9781638280743 (ISBN)
    Book
    Paperback/Softback
    €91.75
    Shipment within 3-4 weeks
  10. Cover: A Framework For Efficient Modular Heap Analysis - now publishers Inc
    Ravichandhran Madhavan | G. Ramalingam | Kapil Vaswani
    A Framework For Efficient Modular Heap Analysis
    01/2015
    1st EDN1st Edition
    now publishers Inc
    9781680830026 (ISBN)
    Book
    Paperback/Softback
    €72.00
    Shipment within 10-20 days
  11. Cover: Formal Models and Techniques for Analyzing Security Protocols - now publishers Inc
    Veronique Cortier | Steve Kremer
    Formal Models and Techniques for Analyzing Security Protocols
    A Tutorial
    11/2014
    1st EDN1st Edition
    now publishers Inc
    9781601989024 (ISBN)
    Book
    Paperback/Softback
    €71.00
    Shipment within 10-20 days
  12. Cover: Principles of Eventual Consistency - now publishers Inc
    Sebastian Burckhardt
    Principles of Eventual Consistency
    10/2014
    1st EDN1st Edition
    now publishers Inc
    9781601988584 (ISBN)
    Book
    Paperback/Softback
    €77.00
    Shipment within 10-20 days
  13. Cover: Computer-Assisted Query Formulation - now publishers Inc
    Alvin Cheung | Armando Solar-Lezama
    Computer-Assisted Query Formulation
    06/2016
    1st EDN1st Edition
    now publishers Inc
    9781680830361 (ISBN)
    Book
    Paperback/Softback
    €65.00
    Shipment within 10-20 days
  14. Cover: Pointer Analysis - now publishers Inc
    Yannis Smaragdakis | George Balatsouras
    Pointer Analysis
    04/2015
    1st EDN1st Edition
    now publishers Inc
    9781680830200 (ISBN)
    Book
    Paperback/Softback
    €62.00
    Shipment within 10-20 days
  15. Cover: Static Analysis and Verification of Aerospace Software by Abstract Interpretation - now publishers Inc
    Julien Bertrane | Patrick Cousot | Radhia Cousot
    Static Analysis and Verification of Aerospace Software by Abstract Interpretation
    12/2015
    1st EDN1st Edition
    now publishers Inc
    9781601988560 (ISBN)
    Book
    Paperback/Softback
    €84.00
    Shipment within 10-20 days
  16. Cover: Behavioral Types in Programming Languages - now publishers Inc
    Davide Ancona | Viviana Bono | Mario Bravetti
    Behavioral Types in Programming Languages
    07/2016
    1st EDN1st Edition
    now publishers Inc
    9781680831344 (ISBN)
    Book
    Paperback/Softback
    €86.00
    Shipment within 10-20 days
  17. Cover: Nominal Game Semantics - now publishers Inc
    Andrzej S. Murawski | Nikos Tzevelekos
    Nominal Game Semantics
    03/2016
    1st EDN1st Edition
    now publishers Inc
    9781680831061 (ISBN)
    Book
    Paperback/Softback
    €64.00
    Shipment within 10-20 days
  18. Cover: Neurosymbolic Programming in Scallop - now publishers Inc
    Ziyang Li | Jiani Huang | Jason Liu
    Neurosymbolic Programming in Scallop
    Principles and Practice
    12/2024
    now publishers Inc
    9781638284840 (ISBN)
    Book
    Paperback/Softback
    €112.85
    Not available
  19. Cover: From Fine- to Coarse-Grained Dynamic Information Flow Control and Back - now publishers Inc
    Marco Vassena | Alejandro Russo | Deepak Garg
    From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
    10/2023
    now publishers Inc
    9781638282181 (ISBN)
    Book
    Paperback/Softback
    €115.32
    Not available