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

by M. Gordon (Author), C. P. Wadsworth (Author), R. Milner (Author)

New
Paperback
2008
$23.31

$23.31

Quantity

10 in stock

More Information

Format: Paperback
Pages: 172
Edition: 1979
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540097244
ISBN 13: 9783540097242
Book Overview: Springer Book Archives

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

New

$23.31

$23.31

More Information