Buy Used and New LawrenceC.Paulson Books

ML for the Working Programmer (Cambridge Computer Science Texts)

by Lawrence C. Paulson

ISBN 13: 9780521422253

Format: Paperback (441 pages)
Publisher: Cambridge University Press
Published: 20 Aug 1992
Other Format: Paperback

Save for later

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

by Lawrence C. Paulson

ISBN 13: 9780521395601

Format: Paperback (320 pages)
Publisher: Cambridge University Press
Published: 26 Jul 1990

Save for later