Studies in automatic programming logic /

Bibliographic Details
Main Author: Manna, Zohar, 1939-
Other Authors: Waldinger, Richard
Format: Book
Language:English
Published: New York : North-Holland, 1977
Series:The computer science library.
Subjects:
Table of Contents:
  • 1. Reasoning about programs
  • 2. Logical analysis of programs
  • 3. Knowledge and reasoning in program synthesis.