Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF

Saved in:
Bibliographic Details
Main Author : Paulson Lawrence C. (Auteur)
Format : Book
Language : anglais
Title statement : Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson,...
Published : Cambridge, New York, Port Chester [etc.] : Cambridge University Press , cop. 1987
Physical Description : 1 vol. (XIII-302 p.)
Series : Cambridge tracts in theoretical computer science ; 2
Subjects :
Fonctions calculables > Informatique
Logique informatique

BU Censive

Holdings details from BU Censive
Location Call Number Loan type Status
Bât. Censive, 1er étage, salle 111 L 12507 Empruntable Available