dybjer peter editor (2 Ergebnisse)

Autor: dybjer peter editor

Mit der Detailsuche verfeinern

Sortiert nach

Beispielbild f�r diese ISBN

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)

Coquand, Thierry [Editor]; Dybjer, Peter [Editor]; Nordström, Bengt [Editor]; Smith, Jan [Editor];

Sprache: Englisch

Verlag: Springer, 2001

ISBN 10: 3540415173 ISBN 13: 9783540415176

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Gebraucht - Softcover
Zustand: Gut

EUR 32,61

EUR 6,02 Versand
Versand innerhalb von USA

Anzahl: 1 verf�gbar
In den Warenkorb

Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Beispielbild f�r diese ISBN

Semantics and Logics of Computation

Pitts, Andrew M. (Editor)/ Dybjer, Peter (Editor)

Sprache: Englisch

Verlag: Cambridge Univ Pr, 1997

ISBN 10: 0521580579 ISBN 13: 9780521580571

Anbieter: Revaluation Books, Exeter, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Print-on-Demand

Neu - Hardcover
Zustand: Neu

EUR 172,15

EUR 14,45 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar
In den Warenkorb

Hardcover. Zustand: Brand New. 361 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.