The logical basis for computer programming

Saved in:

Bibliographic Details
Main Author:	Manna, Zohar
Other Authors:	Waldinger, Richard
Format:	Unknown
Published:	Reading, Mass. Addison-Wesley 1985
Series:	Addison-Wesley series in computer science
Subjects:	Logic, Symbolic and mathematical Electronic digital computers > Programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

The Logical basis for computer programming by Manna, Zohar

Published 1990

Click Here to View Status and Holdings.

Unknown