The Deductive foundations of computer programming / Zohar Manna, Richard Waldinger.

By:

Contributor(s):

Material type: Text

TextPublication details: Reading, Mass. : Addison-Wesley, c1993.Description: xiv, 716p. ; 24 cmContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

LOC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Materials specified	Status	Notes	Date due	Barcode
Books	Ladislao N. Diwa Memorial Library Reserve Section	Non-fiction	RUS QA76.6 M31 1993 (Browse shelf(Opens below))		Room use only	21156		00022590

References : p. 673 - 677. Includes index.

Donated by Ohio State University 21156