Goodreads Choice Awards 2025

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz > Editions

by Martin D. Davis

Sort by
Format
Language
Editions
Showing 1-4 of 4
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 (Hardcover)
Published September 5th 2015 by Palala Press
Hardcover, 152 pages
Author(s):
ISBN:
9781341578281 (ISBN10: 1341578283)
ASIN:
1341578283
Edition language:
English
Average rating:
4.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
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 (Paperback)
Published August 21st 2011 by Nabu Press
Paperback, 152 pages
Author(s):
ISBN:
9781175746788 (ISBN10: 1175746789)
ASIN:
1175746789
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program Verification
Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program Verification (Hardcover)
Published March 5th 2018 by Forgotten Books
Classic Reprint, Hardcover, 152 pages
Author(s):
ISBN:
9780666932655 (ISBN10: 0666932654)
ASIN:
0666932654
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Correct-Program Technology / Extensibility of Verifiers: Two Papers on Program Verification
Correct-Program Technology / Extensibility of Verifiers: Two Papers on Program Verification (Paperback)
Published March 5th 2018 by Forgotten Books
Annotated edition, Paperback, 156 pages
Author(s):
ISBN:
9781332116775 (ISBN10: 1332116779)
ASIN:
1332116779
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page