Da: preigu, Osnabrück, Germania
EUR 47,50
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Category Theory and Computer Science | Manchester, UK, September 5-8, 1989. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540516620 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Types for Proofs and Programs | International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers | Peter Dybjer (u. a.) | Taschenbuch | x | Englisch | 1995 | Springer | EAN 9783540605799 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Applied Semantics | International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures | Gilles Barthe (u. a.) | Taschenbuch | viii | Englisch | 2002 | Springer | EAN 9783540440444 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. 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.