Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues - Thosten Altenkirch - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540744634 - October 1, 2007
In case cover and title do not match, the title is correct

Thosten Altenkirch
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues 2007 edition

Price
Íkr 8,319
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 23

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 refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning;

272 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 1, 2007
ISBN13 9783540744634
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 272
Dimensions 155 × 235 × 15 mm   ·   421 g
Language French  
Editor Altenkirch, Thorsten
Editor McBride, Conor

Mere med samme udgiver

See all of Thosten Altenkirch ( e.g. Paperback Book )