Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz > Editions
by Martin D. Davis
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)
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)
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)
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)
