Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)
Product ID: 3540432876
Condition: New
$ 206
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
1
IsAdultProduct
Height
9.25
Length
6.1
Weight
0.89948602896
Width
0.58
ReleaseDate
2002-02-20T00:00:01Z
NumberOfItems
1
You might also like
Französische Studien (German Edition)
Principles of Political Economy: With Some of Their Applications to Social Philosophy
Aus fremden Zungen: 2. Band (German Edition)
Aus fremden Zungen (German Edition)
Practical Calculation of Dynamo-Electric Machines: A Manual for Electrical and Mechanical Engineers
Das Deutsche Volkstum (German Edition)
Wilhelm Gesenius Hebräische Grammatik (German Edition)
Abhandlungen zur geologischen Spezialkarte: von Preussen und den Thüringischen Staaten Band 4 (German Edition)