Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lec

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lec

  • List Price: $99.00
  • ISBN-10: 3540432876
  • ISBN-13: 9783540432876
  • Edition: 2002nd
  • Type: Paperback
  • Publisher: Springer

About The Book

This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type... Read more

FINDING THE BEST PRICES

Related Books

The Weimar Years: A Culture Cut Short
  • Year: 2011
  • Edition:
  • Publisher: Thames & Hudson
  • Type: Paperback
  • ISBN13: 9780500273111
  • ISBN: 0500273111
American Perspectives: Readings on Contemporary U.S. Culture
  • Year: 1999
  • Edition: 1st
  • Publisher: Pearson Education ESL
  • Type: Paperback
  • ISBN13: 9780201520750
  • ISBN: 0201520753
The Soundscape
  • Year: 1993
  • Edition: 0
  • Publisher: Destiny Books
  • Type: Paperback
  • ISBN13: 9780892814558
  • ISBN: 0892814551