Image from Amazon.com
Image from OpenLibrary
The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.
Series: DIMACS series in discrete mathematics and theoretical computer science ; 32Publication details: Providence, R.I.: American Mathematical Society, c1997.Description: xii, 203 p.: ill.; 26 cmISBN:- 0821806807 (alk. paper)
- 005.276 S757
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.276 S757 1997 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000163710 |
Workshop held at Rutgers Univ. in New Brunswick, N.J.
Includes bibliographical references.
There are no comments on this title.