Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback) (ISBN-13: 9783540314288)

Vendor: Jean-Christophe Filliatre
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
WR Book House

Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers

$54.99

Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers

$54.99
Format: Paperback
Description
Description
x

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 such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.



Author: Jean-Christophe Filliatre
ISBN-10: 3540314288
ISBN-13: 9783540314288
Publisher: Springer
Language: English
Published: 01/25/2006
Pages: 280
Format: Paperback
Weight: 0.90lbs
Size: 9.21h x 6.14w x 0.61d

Recently Viewed Products