DownloadThe Portobello Bookshop Gift Guide 2024

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

QED at Large cover

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