Order

978-1-60198-857-7

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane | Patrick Cousot | Radhia Cousot | Jérôme Feret | Laurent Mauborgne | Antoine Miné | Xavier Rival

978-1-60198-857-7

250.00 USD

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