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
Íkr 8,279
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 29 - Aug 12
Get notified about new J Filliatre releases

Our customers say:

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

Not rated yet

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

More from the same publisher

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