Noch Fragen? 0800 / 33 82 637

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-74464-1 / 978-3540744641 / 9783540744641

Verlag: Springer Berlin

Erscheinungsdatum: 13.09.2007

Seiten: 272

Herausgegeben von Thorsten Altenkirch, Conor McBride

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück