Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Language: English
Published by Springer, 2008
- Softcover
- New
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
AbeBooks seller since June 24, 2016
Condition: New
US$ 36.34
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # ABEOCT25-242415
- Title
- Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
- Author
- Furio Honsell, Marino Miculan, Ivan Scagnetto
- Publisher
- Springer
- Publication year
- 2008
- Condition
- Brand New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540680845
- ISBN 13
- 9783540680840
"Synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.
The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.
"About the title" may belong to another edition of this title.
Basi6 International
Irving, TX, U.S.A.
AbeBooks seller since June 24, 2016
Shipping rates within U.S.A.
| Item | 3 to 6 business days | 5 to 14 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
Specialty
Educational and reference booksSeller's business information
Basi6 International LLC
1018 Camino Lago
Irving, TX U.S.A. 75039
Terms of sale
Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!
Shipping terms
All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.