|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | A Framework For Efficient Modular Heap Analysis (Foundations and Trends(r) in Programming Languages) | Madhavan, Ravichandhran | Paperback | 1680830023 /
9781680830026 | 01/2015 | $80.75 |
|  | Behavioral Types in Programming Languages (Foundations and Trends(r) in Programming Languages) | Ancona, Davide | Paperback | 1680831348 /
9781680831344 | 05/2016 | $94.05 |
|  | Computer-Assisted Query Formulation (Foundations and Trends(r) in Programming Languages) | Cheung, Alvin | Paperback | 1680830368 /
9781680830361 | 05/2016 | $71.25 |
|  | Formal Models and Techniques for Analyzing Security Protocols: A Tutorial (Foundations and Trends(r) in Programming Languages) | Cortier, Véronique | Paperback | 1601989024 /
9781601989024 | 11/2014 | $85.50 |
|  | From Fine- to Coarse-Grained Dynamic Information Flow Control and Back | Vassena, Marco | Paperback | 1638282188 /
9781638282181 | 10/2023 | $85.50 |
|  | Introduction to Neural Network Verification | Albarghouthi, Aws | Paperback | 1680839101 /
9781680839104 | 12/2021 | $94.05 |
|  | Neurosymbolic Programming | Chaudhuri, Swarat | Paperback | 1680839349 /
9781680839340 | 12/2021 | $66.50 |
|  | Nominal Game Semantics (Foundations and Trends(r) in Programming Languages) | Murawski, Andrzej S. | Paperback | 1680831062 /
9781680831061 | 03/2016 | $85.50 |
|  | Pointer Analysis (Foundations and Trends(r) in Programming Languages) | Smaragdakis, Yannis | Paperback | 1680830201 /
9781680830200 | 04/2015 | $61.75 |
|  | Principles of Eventual Consistency (Foundations and Trends(r) in Programming Languages) | Burckhardt, Sebastian | Paperback | 1601988583 /
9781601988584 | 10/2014 | $94.05 |
|  | Probabilistic Trace and Testing Semantics: The Importance of Being Coherent | Bernardo, Marco | Paperback | 1638280746 /
9781638280743 | 08/2022 | $71.25 |
|  | Program Synthesis (Foundations and Trends(r) in Programming Languages) | Gulwani, Sumit | Paperback | 1680832921 /
9781680832921 | 07/2017 | $85.50 |
|  | Programming with "Big Code" (Foundations and Trends(r) in Programming Languages) | Vechev, Martin | Paperback | 1680832301 /
9781680832303 | 12/2016 | $52.25 |
|  | Progress of Concurrent Objects | Liang, Hongjin | Paperback | 1680836722 /
9781680836721 | 05/2020 | $90.25 |
|  | QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends(r) in Programming Languages) | Ringer, Talia | Paperback | 1680835947 /
9781680835946 | 09/2019 | $94.05 |
|  | Reconciling Abstraction with High Performance: A MetaOCaml approach (Foundations and Trends(r) in Programming Languages) | Kiselyov, Oleg | Paperback | 1680834363 /
9781680834369 | 06/2018 | $76.00 |
|  | Refinement Types: A Tutorial | Jhala, Ranjit | Paperback | 1680838849 /
9781680838848 | 10/2021 | $94.05 |
|  | Shape Analysis | Chang, Bor-Yuh Evan | Paperback | 168083732X /
9781680837322 | 09/2020 | $94.05 |
|  | Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends(r) in Programming Languages) | Bertrane, Julien | Paperback | 1601988567 /
9781601988560 | 11/2015 | $85.50 |
|  | Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages) | Miné, Antoine | Paperback | 1680833863 /
9781680833867 | 02/2018 | $94.05 |
|
|
|