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: $63.00
AMS Member Price: $50.40
MAA Member Price: $56.70

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