ICL: A Business and Technical History
Martin (Department of Computer Science, University of Campbell-Kelly
Out of stock
Format: Book (Hardback)
Logic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of stock
Format: Book (Paperback / softback)