Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Bok Engelsk 2006 TYPES 2004
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | VIII, 273 s. : fig.
|
| Emner | |
| ISBN | 3540314288. - 9783540314288
|
