Thierry Coquand (EDT), Peter Dybjer (EDT), Bengt Nordstrom (EDT), Jan Smith (EDT) Types for Proofs and Programs

International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2003

EAN/ISBN13: 978-3-540-44557-9

ISBN10: 3-540-44557-9

You can ask us about this book and we'll send an answer to your e-mail.