Order

978-1-68083-386-7
Secured by PayPal
PayPal Acceptance Mark

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné

978-1-68083-386-7

99.00 USD