Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)

G. Von Bochmann~D. K. Probst

ISBN 10: 0387564969 ISBN 13: 9780387564968
Editore: Springer, 1994
Lingua: Inglese
Condizione: Usato - Buono Brossura

Venduto da Bookmans, Tucson, AZ, U.S.A.

Venditore AbeBooks dal 30 aprile 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 - Buono

Prezzo:
EUR 34,12
Spedizione EUR 3,44
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello