The SPIN Verification System: The Second Workshop on the SPIN Verification System of a DIMACS Workshop, August 5, 1996
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)
- More: MATHEMATICS
- By This Author: Grégoire, Jean-Charles; Gerard J. Holzmann; Doron A. Peled (ed.).