Dybjer peter editor (2 résultats)
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];
- Couverture souple
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 32,67
EUR 6,03 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Couverture rigide
- impression à la demande
Vendeur : Revaluation Books, Exeter, , Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 172,36
EUR 14,47 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Brand New. 361 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
