IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Gordon, Michael J.

Edinburgh LCF A Mechanised Logic of Computation / [electronic resource] : by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1979. - VIII, 161 p. online resource. - Lecture Notes in Computer Science, 78 0302-9743 ; . - Lecture Notes in Computer Science, 78 .

ISBN: 9783540385264

Standard No.: 10.1007/3-540-09724-4 doi

Subjects--Topical Terms:
Computer science.
Computer Science.
Computer Science, general.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)