Partial Order Methods in Verification cover image

DIMACS - Series in Discrete Mathematics and Theoretical Computer Science
Volume: 29; 1997; 403 pp;  Hardcover
MSC: Primary 68;
Print ISBN: 978-0-8218-0579-4
Product Code: DIMACS/29

List Price: $109.00
Individual Member Price: $87.20

Add to Cart (PRINT)


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

List Price: $109.00
Individual Member Price: $87.20