Tools

LEADER 01879cam a2200433 a 4500

001 ocm36201609;

003 OCoLC;

005 20141212180936.0;

008 961230s1997 riua b 100 0 eng ;

010 a| 96054839;

016 a| 980025788;

020 a| 0821806807 (alk. paper);

035 a| (Sirsi) o36201609;

035 a| (OCoLC)36201609;

049 a| EREE;

050 00 a| QA76.76.V47b| W677 1996;

055 02 a| QA76.76*;

082 00 a| 005.2/762| 21;

111 2 a| Workshop on the SPIN Verification Systemn| (2nd :d| 1996 :c| Rutgers University)?| UNAUTHORIZED;

245 14 a| The SPIN verification system :b| the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 /c| Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.;

300 a| xii, 203 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| DIMACS series in discrete mathematics and theoretical computer science ;v| v. 32;

500 a| Workshop held at Rutgers Univ. in New Brunswick, N.J.;

504 a| Includes bibliographical references.;

630 00 a| SPIN (Computer file)v| Congresses.=| ^A846633;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

700 1 a| Grégoire, Jean-Charles,d| 1960-=| ^A588904;

700 1 a| Holzmann, Gerard J.=| ^A588907;

700 1 a| Peled, Doron A.,d| 1962-=| ^A422536;

830 0 a| DIMACS series in discrete mathematics and theoretical computer science ;v| v. 32.=| ^A467230;

994 a| C0b| ERE;

596 a| 1;

998 a| 983512;

999 a| QA76.76.V4 W677 1996w| LCc| 1i| 30372012670441d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $51.00r| Ys| Yt| JGESBKu| 12/23/2004x| BOOKz| JSTACKSo| .STAFF. 0;

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.

Author/creator	Workshop on the SPIN Verification System
Other author	Grégoire, Jean-Charles, 1960-
Other author	Holzmann, Gerard J.
Other author	Peled, Doron A., 1962-
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1997.
Description	xii, 203 pages : illustrations ; 26 cm.
Subjects	SPIN (Computer file)--Congresses. Computer software--Verification. --Congresses.

Series	DIMACS series in discrete mathematics and theoretical computer science ; v. 32 DIMACS series in discrete mathematics and theoretical computer science ; v. 32. ^A467230
General note	Workshop held at Rutgers Univ. in New Brunswick, N.J.
Bibliography note	Includes bibliographical references.
LCCN	96054839
ISBN	0821806807 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.V4 W677 1996	✔ Available	Place Hold

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.

Click here for more information about this title

Availability