Normal view MARC view ISBD view

Edinburgh LCF : a mechanised logic of computation

By: Gordon, Michael JContributor(s): Milner, Arthur J | Wadsworth, Christopher | Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1979Edition: Description: viii,159 p; 24 cmISBN: 3-540-09724-41Subject(s): | Edinburgh LCF (Computer system) | Computable functions-Data processing

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Notes	Date due	Barcode	Item holds
Books	Central Library, IITB	681.3 Gor	Available	G53B19		107970

Total holds: 0

There are no comments on this title.

to post a comment.