The SPIN model checker : primer and reference manual / Gerard J. Holzmann.
Material type: TextPublication details: Boston, Mass. ; London : Addison-Wesley, c2004.Description: xii, 596 p. : ill. ; 25 cmISBN:- 9780321228628:
- 0321228626
- 005.14
- .H65 2004
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library General Lending | 005.14 (Browse shelf(Opens below)) | 1 | Available | 46468 |
CW228
CW046
CW082
Includes bibliographical references (p. 545-552) and index.
53.36