The SPIN Verification System: The Second Workshop on the SPIN Verification System of a DIMACS Workshop, August 5, 1996

Grégoire, Jean-Charles; Gerard J. Holzmann; Doron A. Peled (ed.).

to Cart
Price: $35.00

Providence, RI: American Mathematical Society, 1997. 203 pp. 4to (small). Glossy boards. Minor scuffing to boards. Bumping to spine ends, top corners and fore edges near top corners. DIMACS volume 32. Very Good Hard Cover 0821806807 (Item ID: 126545)

Topic Notification

Cellar Stories Facebook

Site by Bibliopolis