Books by Ilya Sergey
No products found matching the selection.
-20%
QED at Large: A Survey of Engineering of Formally Verified Software
Karl Palmskog, Zachary Tatlock, Ilya Sergey, Talia Ringer, Milos Gligoric
€139.34
€174.17
-20% with code BOOKS
In stock at our supplier