Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science)

Peter Dybjer, Jan Smith, Bengt Nordstr??m

ISBN 10: 3540605797 ISBN 13: 9783540605799
Editore: Springer 2008-06-13, 2008
Lingua: Inglese
Nuovi Condizione: New Brossura

Da Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 2 agosto 2010

Visualizza gli articoli del venditore


Nuovi - Brossura

Prezzo: EUR 58,09 Convertire valuta
EUR 23,37 per la spedizione da Regno Unito a Italia Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungere al carrello