Tutorial On Static Inference Of Numeric Invariants By Abstract Interpretation
Now Publishers Inc
ISBN13:
9781680833867
$118.38
(No reviews yet)
Write a Review
Now Publishers Inc
Tutorial On Static Inference Of Numeric Invariants By Abstract Interpretation
This monograph is based on several Master-level courses in Abstract Interpretation given by the author. It is intended as an entry course in Abstract Interpretation.
- | Author: Antoine Miné
- | Publisher: Now Publishers Inc
- | Publication Date: Dec 05, 2017
- | Number of Pages: 268 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1680833863
- | ISBN-13: 9781680833867
- Author:
- Antoine Miné
- Publisher:
- Now Publishers Inc
- Publication Date:
- Dec 05, 2017
- Number of pages:
- 268 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 1680833863
- ISBN-13:
- 9781680833867
