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
AMS Member Price: $103.20
MAA Member Price: $116.10

Add to Cart (PRINT)


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

List Price: $129.00
AMS Member Price: $103.20
MAA Member Price: $116.10