Tools

LEADER 01973cam 2200409 a 4500

001 ocm23355319;

003 OCoLC;

005 20141212180926.0;

008 910306s1991 riua b 100 0 eng ;

010 a| 91008815;

020 a| 0821865943 (AMS : alk. paper);

020 a| 0897913868 (ACM : alk. paper);

035 a| (Sirsi) o23355319;

035 a| (OCoLC)23355319;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| TK7874b| .D553 1990;

082 00 a| 621.381/52| 20;

111 2 a| CAV (Conference)n| (2nd :d| 1990 :c| Center for Discrete Mathematics and Theoretical Computer Science)?| UNAUTHORIZED;

245 10 a| Computer-aided verification '90 :b| proceedings of a DIMACS workshop, June 18-21, 1990 /c| E. M. Clarke, R. P. Kurshan, editors.;

300 a| xii, 628 pages :b| illustrations ;c| 27 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. 3;

500 a| "The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso.;

504 a| Includes bibliographical references.;

650 0 a| Digital integrated circuitsx| Computer-aided designv| Congresses.=| ^A65093;

650 0 a| Integrated circuitsx| Verificationv| Congresses.=| ^A413570;

700 1 a| Clarke, Edmund M.,c| Jr.q| (Edmund Melson),d| 1945-2020=| ^A284643;

700 1 a| Kurshan, R. P.,d| 1943-=| ^A284644;

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

994 a| C0b| ERE;

596 a| 1;

998 a| 983346;

999 a| TK7874 .D553 1990w| LCc| 1i| 30372012670292d| 4/3/2013f| 4/3/2013g| 3l| JGESm| JOYNERp| $105.00r| Ys| Yt| JGESBKu| 12/21/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors.

Author/creator	CAV (Conference)
Other author	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Other author	Kurshan, R. P., 1943-
Format	Book
Publication Info	Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.
Description	xii, 628 pages : illustrations ; 27 cm.
Subjects	Digital integrated circuits--Computer-aided design. --Congresses. Integrated circuits--Verification. --Congresses.

Series	DIMACS series in discrete mathematics and theoretical computer science ; v. 3 DIMACS series in discrete mathematics and theoretical computer science ; v. 3. ^A467230
General note	"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso.
Bibliography note	Includes bibliographical references.
LCCN	91008815
ISBN	0821865943 (AMS : alk. paper)
ISBN	0897913868 (ACM : alk. paper)

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors.

Click here for more information about this title