Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Cortesi, Agostino

ISBN 10: 3540436316 ISBN 13: 9783540436317
Editore: Springer Verlag, New York City, 2002
Lingua: Inglese
Condizione: Usato - Molto buono Rilegato

Venduto da Doss-Haus Books, Redondo Beach, CA, U.S.A.

Venditore AbeBooks dal 29 ottobre 2003

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

Visualizza gli articoli del venditore


Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:
EUR 19,72
EUR 4,68 shipping
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello