Paperback Book
Pokaż niedostępne przedmioty

Wydania przez Paulson, Lawrence C. (University of Cambridge)

26 lipca 1990

Cover for Paulson, Lawrence C. (University of Cambridge) · Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (1990)
Paperback Book
Logic and Computation: Interacti...
Paulson, Lawrence C. (University...