Amazon cover image
Image from Amazon.com
Image from OpenLibrary
See Baker & Taylor
Image from Baker & Taylor

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.

By: Contributor(s): 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)
Subject(s): DDC classification:
  • 005.276 S757
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
Books 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.

to post a comment.
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha