Theoretical Computer Science and General Issues

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Editors: Filliatre, Jean-Christophe, Paulin-Mohring, Christine, Werner, Benjamin (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-31429-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-31428-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (17 chapters)

Table of contents (17 chapters)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-31429-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-31428-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Types for Proofs and Programs
Book Subtitle
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Editors
  • Jean-Christophe Filliatre
  • Christine Paulin-Mohring
  • Benjamin Werner
Series Title
Theoretical Computer Science and General Issues
Series Volume
3839
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31429-5
DOI
10.1007/11617990
Softcover ISBN
978-3-540-31428-8
Edition Number
1
Number of Pages
VIII, 280
Topics