Computer-Aided Verification '90 cover image

DIMACS - Series in Discrete Mathematics and Theoretical Computer Science
Volume: 3; 1991; 628 pp;  Hardcover
MSC: Primary 68;
Print ISBN: 978-0-8218-6594-1
Product Code: DIMACS/3

List Price: $129.00
Individual Member Price: $103.20

Add to Cart (PRINT)


Electronic ISBN: 978-1-4704-3961-3
Product Code: DIMACS/3.E

List Price: $129.00
Individual Member Price: $103.20