Springer
Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
Product Code:
9783540314288
ISBN13:
9783540314288
Condition:
New
$61.47
Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
$61.47
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 |
| Publisher: Springer |
| Publication Date: Jan 25, 2006 |
| Number of Pages: 280 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540314288 |
| ISBN-13: 9783540314288 |
Related Products
