Publisher's Synopsis
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed;
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004 ; Revised Selected Papers - Lecture Notes in Computer Science
2006
Paperback (25 Jan 2006)
- $64.14
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783540314288 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 25 Jan 2006 |
| Edition: | 2006 |
| DEWEY: | 005.131 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 273 |
| Weight: | 910g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 15mm |
We recommend
$17.32off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $17.32
RRP $67.98- $50.66
$8.59off
Mathematics for Computer Scient...
Paperback
Published 31 Aug 2023
Save $8.59
RRP $76.96- $68.37
$32.19off
The Logic of Typed Feature Stru...
Paperback
Published 10 Nov 2005
Save $32.19
RRP $55.15- $22.96
$1.22off
Introduction to Computation : H...
Paperback
Published 20 Jan 2022
Save $1.22
RRP $38.47- $37.25
$2.13off
Introduction to Probability for...
Hardback
Published 28 Sep 2023
Save $2.13
RRP $70.54- $68.41