Skip to main content
PBS logo
 
 

Search - Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J.t. Schwartz

Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J.t. Schwartz
CorrectProgram Technologyextensibility of Verifiers Two Papers on Program Verification by Martin Davis and Jt Schwartz
Author: Martin Davis
Publisher: New York : Courant Institute of Mathematical Sciences, New York University Publication date: 1977 Notes: This is an OCR reprint. There may be numerous typos or missing text. There are no illustrations or indexes. When you buy the General Books edition of this book you get free trial access to Million-Books.com where you can select ...  more »
ISBN-13: 9781153465533
ISBN-10: 1153465531
Publication Date: 1/17/2010
Pages: 72
Rating:
  ?
0 stars, based on 0 rating
Publisher: General Books LLC
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.