Lectures on the logic of computer programming / Zohar Manna.

Saved in:

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.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.6 .M3559
QA76.6 .M3559	Available Place a Hold