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 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
005.2 F583j 2011 IMPA JavaScript: the definitive guide/ | 005.2 M182o 1974 IMPA Operating systems/ | 005.265 R969n 1991 IMPA The new user's guide to the Sun Workstation/ | 005.276 S757 1997 IMPA The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ | 005.362 M444p 1994 IMPA Practical digital video with programming examples in C/ | 005.43 G676n 1989 IMPA The NeWS book: an introduction to the Network/extensible Window System/ | 005.437 J67g 2000 IMPA GUI bloopers: don'ts and do's for software developers and Web designers/ |
Workshop held at Rutgers Univ. in New Brunswick, N.J.
Includes bibliographical references.
There are no comments on this title.