Thierry coquand u a (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
Types for Proofs and Programs | International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Thierry Coquand (u. a.)
Lingua: Inglese
Editore: Springer, 2000
3540415173 / 9783540415176
- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 50,25
EUR 70,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Types for Proofs and Programs | International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers | Thierry Coquand (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540415176 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …