Computational logic : structure sharing and proof of program properties

Saved in:
Bibliographic Details
OCLC:76884781
Main Author: Moore, J Strother
Corporate Author: University of Edinburgh
Language:English
Published: 1973.
Format:

Thesis Monograph Microform

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

Borrow this resource

Item List

Description Local Call Number Status
P-80014631 Available