Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz

by Martin D. Davis

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book.

152 pages, Paperback

Published August 21, 2011

About the author

Martin David Davis (born 1928) is Professor Emeritus at New York University's Computer Science Department.