Tools

LEADER 01911cam 2200421 a 4500

001 ocm35849180;

003 OCoLC;

005 20141212180936.0;

008 961030s1997 riua b 100 0 eng ;

010 a| 96048739;

020 a| 0821805797;

035 a| (Sirsi) o35849180;

035 a| (OCoLC)35849180;

049 a| EREE;

050 00 a| QA76.9.D5b| P368 1997;

082 00 a| 005.2/762| 21;

245 00 a| Partial order methods in verification :b| DIMACS workshop July 24-26, 1996 /c| Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.;

300 a| xiv, 403 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. 29;

500 a| "Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.;

504 a| Includes bibliographical references.;

650 0 a| Electronic data processingx| Distributed processingv| Congresses.=| ^A419097;

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

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

700 1 a| Pratt, Vaughan R.=| ^A588906;

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

710 2 a| DIMACS series in discrete mathematics and theoretical computer science.?| UNAUTHORIZED;

711 2 a| Workshop on Partial Order Methods in Verificationd| (1996 :c| Princeton University)=| ^A588908;

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

994 a| C0b| ERE;

596 a| 1;

998 a| 983514;

999 a| QA76.9.D5 P368 1997w| LCc| 1i| 30372012670417d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERp| $89.00r| Ys| Yt| JGESBKu| 12/23/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Partial order methods in verification : DIMACS workshop July 24-26, 1996 / Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.

Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1997.
Description	xiv, 403 pages : illustrations ; 26 cm.
Subjects	Electronic data processing--Distributed processing. --Congresses. Computer software--Verification. --Congresses.

Other author/creator	Peled, Doron A., 1962-
Other author/creator	Pratt, Vaughan R.
Other author/creator	Holzmann, Gerard J.
Other author/creator	DIMACS series in discrete mathematics and theoretical computer science.
Other author/creator	Workshop on Partial Order Methods in Verification (1996 : Princeton University)
Series	DIMACS series in discrete mathematics and theoretical computer science ; v. 29 DIMACS series in discrete mathematics and theoretical computer science ; v. 29. ^A467230
General note	"Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Bibliography note	Includes bibliographical references.
LCCN	96048739
ISBN	0821805797

Partial order methods in verification : DIMACS workshop July 24-26, 1996 / Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.

Click here for more information about this title