QED at Large
A Survey of Engineering of Formally Verified Software
Talia Ringer author Karl Palmskog author Ilya Sergey author Milos Gligoric author Zachary Tatlock author
Format:Paperback
Publisher:now publishers Inc
Published:30th Sep '19
Currently unavailable, and unfortunately no date known when it will be back
This non-fiction paperback, "QED at Large" from Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric & Zachary Tatlock, was published 30th September 2019 by now publishers Inc.
ISBN: 9781680835946
Dimensions: unknown
Weight: 281g
194 pages