Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: Workshop on the SPIN Verification System (2nd 1996 Rutgers University)
Group Author: Grégoire Jean-Charles, 1960-; Holzmann Gerard J. 1951-; Peled Doron, 1962-
Published: American Mathematical Society,
Publisher Address: Providence, R.I.
Publication Dates: c1997.
Literature type: Book
Language: English
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 32
Subjects:
SPIN (Computer file) > Congresses.
Computer software > Congresses. > Congresses.
Carrier Form: xii, 203 p.: ill. ; 26 cm.
ISBN: 0821806807 (alk. paper)
Index Number: TP311
CLC: TP311.5-532
Call Number: TP311.5-532/W926.1/1996/
Contents: Workshop held at Rutgers Univ. in New Brunswick, N.J.
Includes bibliographical references.

Related Book Recommendations