The SPIN Verification System cover image

DIMACS - Series in Discrete Mathematics and Theoretical Computer Science
Volume: 32; 1997; 203 pp;  Hardcover
MSC: Primary 68;

Print ISBN: 978-0-8218-0680-7
Product Code: DIMACS/32

List Price: $67.00
AMS Member Price: $53.60
MAA Member Price: $60.30

Add to Cart (PRINT)


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

List Price: $63.00
AMS Member Price: $50.40
MAA Member Price: $56.70