Order

978-1-68083-387-4

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné

978-1-68083-387-4

260.00 USD

Please note that E-Book purchases can take up to two business days to be processed.