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: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-540-74463-4 / 978-3540744634 / 9783540744634

Verlag: Springer Berlin

Erscheinungsdatum: 01.10.2007

Seiten: 272

Auflage: 1

Zielgruppe: Research

Herausgegeben von Thorsten Altenkirch, Conor McBride

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück