Order

978-1-68083-595-3
Secured by PayPal
PayPal Acceptance Mark

QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer | Karl Palmskog | Ilya Sergey | Milos Gligoric | Zachary Tatlock

978-1-68083-595-3

280.00 USD

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