Coverart for item
The Resource Edinburgh LCF : a mechanised logic of computation, Michael J. Gordon, Arthur J. Milner, and Christopher P. Wadsworth

Edinburgh LCF : a mechanised logic of computation, Michael J. Gordon, Arthur J. Milner, and Christopher P. Wadsworth

Label
Edinburgh LCF : a mechanised logic of computation
Title
Edinburgh LCF
Title remainder
a mechanised logic of computation
Statement of responsibility
Michael J. Gordon, Arthur J. Milner, and Christopher P. Wadsworth
Creator
Contributor
Subject
Member of
Series statement
Lecture notes in computer science
Series volume
78
Edinburgh LCF : a mechanised logic of computation, Michael J. Gordon, Arthur J. Milner, and Christopher P. Wadsworth
Label
Edinburgh LCF : a mechanised logic of computation, Michael J. Gordon, Arthur J. Milner, and Christopher P. Wadsworth
Publication
Note
Includes index
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Bibliography: p. (153)-157
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780387097244&userID=ebsco-test&password=ebsco-test
Dimensions
25 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1022970'}
Extent
viii, 159 p.
Isbn
9780387097244
Lccn
79-24745

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...