Isbn: 9783540677703 - computer aided verification: 12th international conference, cav 2000 chicago, il, usa, july 15-19, 2000 proceedings (lecture notes in computer science): 1855 (5 risultati)

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Condizione: New. In.

Paperback. Condizione: Brand New. 1st edition. 582 pages. 9.25x6.25x1.50 inches. In Stock.

Condizione: New. This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal.