Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues - J Filliatre - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540314288 - January 25, 2006
In case cover and title do not match, the title is correct

J Filliatre
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues 2006 edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed;

280 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 25, 2006
ISBN13 9783540314288
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 280
Dimensions 155 × 235 × 15 mm   ·   408 g
Language French  
Editor Filliatre, Jean-Christophe
Editor Paulin-Mohring, Christine
Editor Werner, Benjamin

Mere med samme udgiver

See all of J Filliatre ( e.g. Paperback Book )