Normal view MARC view ISBD view

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

Ringer

QED at Large: A Survey of Engineering of Formally Verified Software - Now Foundations and Trends 2019-09-05

ISBN: 9781680835946 9781680835953

Subjects--Topical Terms:
Computing and Processing

Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)