Tools

LEADER 01664cam 2200385 a 4500

001 ocm24286610;

005 20141212085806.0;

008 910726s1991 gw a b 100 0 eng ;

010 a| 91026277;

020 a| 3540544771 (Berlin : alk. paper);

020 a| 0387544771 (N.Y. : alk. paper);

035 a| (Sirsi) o24286610;

035 a| (OCoLC)24286610;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| TK7874b| .D553 1990a;

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 :b| proceedings /c| 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 ; E.M. Clarke, R.P. Kurshan (eds.).;

300 a| xiii, 372 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 531;

504 a| Includes bibliographical references.;

650 0 a| Computer-aided designv| Congresses.=| ^A464450;

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| Lecture notes in computer sciencev| 531.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 414224;

999 a| TK7874 .D553 1990Aw| LCc| 1i| 30372006142274d| 4/3/2013f| 4/3/2013g| 3l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/4/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Computer-aided verification : proceedings / 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 ; E.M. Clarke, R.P. Kurshan (eds.).

Author/creator	CAV (Conference)
Other author	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Other author	Kurshan, R. P., 1943-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1991.
Description	xiii, 372 pages : illustrations ; 24 cm.
Subjects	Digital integrated circuits--Design and construction. --Data processing. --Congresses. Computer-aided design--Congresses.

Series	Lecture notes in computer science ; 531 Lecture notes in computer science 531. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	91026277
ISBN	3540544771 (Berlin : alk. paper)
ISBN	0387544771 (N.Y. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7874 .D553 1990A	✔ Available	Place Hold

Computer-aided verification : proceedings / 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 ; E.M. Clarke, R.P. Kurshan (eds.).

Click here for more information about this title

Availability