Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Language: English
Published by Springer-Verlag GmbH, 2007
- Softcover
- Used

Seller: Buchpark, Trebbin, GermanyBuchpark
AbeBooks seller since September 30, 2021
Condition: Used - Fine
US$ 52.55
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # 3877567/12
- Title
- Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
- Author
- Unbekannt
- Publisher
- Springer-Verlag GmbH
- Publication year
- 2007
- Condition
- Sehr gut
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540744630
- ISBN 13
- 9783540744634
- Seller catalogs
- Bücher
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
"Synopsis" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 60 to 60 business days | 60 to 60 business days |
|---|---|---|
| First item | US$ 121.95 | US$ 150.98 |
Payment methods
- Bank Wire Transfer
- Check
- Paypal
Store description
Seller's business information
Buchpark GmbH
Krügerweg 1
Trebbin, Germany 14959