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
Da Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 2 agosto 2010
Nuovi - Brossura
Quantità: 10 disponibili
Aggiungere al carrello