Normal view MARC view ISBD view

The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/

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. - Providence, R.I.: American Mathematical Society, c1997. - xii, 203 p.: ill.; 26 cm. - DIMACS series in discrete mathematics and theoretical computer science; 32 .

Workshop held at Rutgers Univ. in New Brunswick, N.J.

Includes bibliographical references.

ISBN: 0821806807 (alk. paper)

LCCN: 96054839

Nat. Bib. No.: C98-2578-8

Subjects--Uniform Titles:
SPIN (Computer file)--Congresses.

Subjects--Topical Terms:
Computer software---Verification.--Congresses.

Dewey Class. No.: 005.276 / S757

Place hold
Print
Add to your cart (remove)
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)