Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, #78)

by M. Gordon, R. Milner, and C. P. Wadsworth

0 ratings • 0 reviews • 0 shelved
Book cover for Edinburgh LCF
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN13 9783540097242
  • Publish Date 1 December 1979
  • Publish Status Active
  • Publish Country DE
  • Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Edition 1979 ed.
  • Format Paperback
  • Pages 161
  • Language English