Take a photo of a barcode or cover
Read With Others
Book Information
280 pages • paperback • 7 editions
ISBN/UID: 9783540314288
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Mar 2006
Description
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains s...
Community Reviews
Content Warnings
280 pages • paperback
ISBN/UID: 9783540314288
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Mar 2006
Description
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains s...
Community Reviews
Content Warnings