Dybjer peter editor (2 Ergebnisse)
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];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 33,28
EUR 6,14 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Hardcover
- Print-on-Demand
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 174,42
EUR 14,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Brand New. 361 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
