Edinburgh LCF A Mechanized Logic of Computation
Sale price
$20.69
Regular price $22.99
Skip to product information
Edinburgh LCF A Mechanized Logic of Computation
Sale price
$20.69
Regular price $22.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Edinburgh LCF
A Mechanized Logic of Computation
M. Gordon | R. Milner | C.P. Wadsworth
Computers / General
| Publication Date: | 01 December 1979 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540097242 |
| Format: | Paperback / softback |
| Page Count: | 161 |