Fundamentals of deductive program synthesis
By: by Zohar Manna and Richard Waldinger.
Contributors: Waldinger, Richard.
Series: Report ;; no. STAN-CS-92-1404; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-92-1404.
Publisher: Dept. of Computer Science, Stanford University
Published: 1992
Place of publication: Stanford, Calif
Language: eng
Number of pages: 62
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 59-62).
Cover title.
"January 1992"--Cover.