All books / Book
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)
| Full title: | Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages) |
|---|---|
| ISBN: | 9781680833867 |
| ISBN 10: | 1680833863 |
| Authors: | Miné, Antoine |
| Publisher: | Now Publishers Inc |
| Num. pages: | 268 |
| Binding: | Paperback |
| Language: | en |
| Published on: | 2018 |
Read the reviews and/or buy it on Amazon.com
