Computational logic : structure sharing and proof of program properties

שמור ב:
מידע ביבליוגרפי
OCLC:76884781
מחבר ראשי: Moore, J Strother
מחבר תאגידי: University of Edinburgh
שפה:English
יצא לאור: 1973.
פורמט:

Thesis Monograph Microform

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

תיאור Local Call Number סטטוס
P-80014631 זמין

פריטים דומים