Adapting Proofs-as-Programs

The Curry--Howard Protocol

Gebonden

€ 167,65

Dit artikel kunt u momenteel niet bestellen. Mogelijk is het wel op voorraad bij een van de aangesloten boekhandels. Bekijk de winkelvoorraad hieronder ↓
Koop lokaal, ook online!
Bekijk winkelvoorraad
Ik wil advies
Vraag de boekhandel

ISBN
9780387237596
Vorm
Gebonden
Uitgever
Springer-Verlag New York Inc.
Druk
1e
Verschenen
21-06-2005
Taal
Engels
Pagina's
420 pp.
Genre
Geografie & Landbouw
Geen recensies beschikbaar.
pro-mbooks2 : libris