Lectures on the logic of computer programming /

Bibliographic Details

Main Author:	Manna, Zohar
Format:	Book
Language:	English
Published:	Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980.
Series:	CBMS-NSF regional conference series in applied mathematics ; 31.
Subjects:	Computer programming. Logic, Symbolic and mathematical. Programmation (Informatique) Logique symbolique et mathématique.
Online Access:	Publisher description Table of contents only