Order

978-1-68083-594-6
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-594-6

99.00 USD