Dybjer peter editor (2 risultati)
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];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 33,24
EUR 6,14 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 172,56
EUR 14,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 361 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
