ENGLISH

Edinburgh LCF: A Mechanised Logic of Computation

By Michael J. Gordon , Arthur J. Milner , Christopher P. Wadsworth (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1979
ISBN
9783540097242, 3540097244
DOI
10.1007/3-540-09724-4
Open Library ID
OL9327285M
Language
english
Format
PDF
Filesize
7 MB (7764077 bytes)
Series
Lecture Notes in Computer Science 78
Edition
1
Pages
161\167
Topic
Computers
Time added
2011-06-04 13:46:07
Computer Sciencegeneral

Similar books