Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science)

Geuvers, Herman [Editor]; Wiedijk, Freek [Editor];

ISBN 10: 354014031X ISBN 13: 9783540140313
Editore: Springer, 2003
Lingua: Inglese
Condizione: Usato - Molto buono Brossura

Venduto da GuthrieBooks, Spring Branch, TX, U.S.A.

Venditore AbeBooks dal 1 febbraio 2007

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 51,98
Spedizione EUR 6,11
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello