- Books
- Computers
- Programming
- Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Write The First Customer Review
- Book Details
- Seller
-
-
|
- Edition:
- 1994, Springer
-
Trade paperback,
Good
|
- Details:
- ISBN:
0387580859
- ISBN-13:
9780387580852
- Pages:
390
- Publisher:
Springer
- Published:
1994
- Language:
English
- Alibris ID:
17487178068
|
- Shipping Options:
- Standard Shipping: $4.79
Choose your shipping method in Checkout. Costs may vary based on destination.
|
- Seller's Description:
- Good. Minor shelf wear Satisfaction 100% guaranteed.
|
|
Hide Details ▴ |
-
|
- Edition:
- 1994, Springer
-
Trade paperback,
Good
|
- Details:
- ISBN:
0387580859
- ISBN-13:
9780387580852
- Pages:
390
- Publisher:
Springer
- Published:
1994
- Language:
English
- Alibris ID:
18030100226
|
- Shipping Options:
- Standard Shipping: $4.79
Choose your shipping method in Checkout. Costs may vary based on destination.
|
- Seller's Description:
- Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
|
|
Hide Details ▴ |
|
|
|
|