Lecture Notes in Computer Science Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Procee, Book 531, (Paperback)

Name: Lecture Notes in Computer Science Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Procee, Book 531, (Paperback)
Brand: Edmund M Clarke
SKU: prod_ba369243045e4a932fce5941
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Procee, Book 531, (Paperback) Author: Springer ISBN: 9783540544777 Format: Paperback Publication Date: 1991-10-02 Page Count: 378

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Procee, Book 531, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Procee, Book 531, (Paperback)—

$118.00