Shelfclass_id |
3.A |
Sortkey |
TYPES |
Authors |
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner |
Title |
TYPES 2004: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004: revised selected papers |
Publisher |
Springer-Verlag |
Edition |
1st ed |
Year |
2006 |
Languages |
eng |
Isbn |
3540314288, 9783540314288 |
Series |
Lecture Notes in Computer Science |
Volume |
3839 |
Issn |
0302-9743 |
Description |
(softcover: alk. paper) (softcover: alk. paper) p. cm |
Record date |
20060628 |
Location |
New York |