^^PAGEHEADLINE ^^

Ansicht:

Sortieren nach:

Pro Seite:

Types for Proofs and Programs

Thierry Coquand

Springer Verlag GmbH 13.12.2000 - 2000
Nar: - PDesc:
Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

52,49 €

2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €