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

Name: Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78, Band 78)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By M. Gordon

0 - Default Title

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

172

Release Date:

2008-06-13

Publication Date:

2008-06-13

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

3540097244

GPSR Manufacturer Reference:

[email protected]

Weight:

249 g

Buy on Amazon

Currently sold out