The deductive foundations of computer programming

Saved in:

Bibliographic Details
Main Author:	Manna, Zohar
Other Authors:	Waldinger, Richard
Format:	Unknown
Published:	Reading, Mass. Addison-Wesley Pub. Co. 1993
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!

Description
Physical Description:	xiv, 717 p. ill. 24 cm
Bibliography:	Includes bibliographical references (p. ) and indexes
ISBN:	0201548860

Similar Items