Tools

LEADER 01663cam 2200397 a 4500

001 ocm35688096;

003 OCoLC;

005 20141212123614.0;

008 960930s1996 gw a b 101 0 eng ;

010 a| 96039129;

020 a| 3540619372 (alk. paper);

035 a| (Sirsi) o35688096;

035 a| (OCoLC)35688096;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| TK7874.65b| .F53 1996;

082 00 a| 621.39/22| 21;

111 2 a| FMCAD '96d| (1996 :c| Palo Alto, Calif.)=| ^A387941;

245 10 a| Formal methods in computer-aided design :b| first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /c| Mandayam Srivas, Albert Camilleri, eds.;

300 a| ix, 470 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| 1166;

504 a| Includes bibliographical references and index.;

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

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

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

700 1 a| Srivas, Mandayam.=| ^A387942;

700 1 a| Camilleri, Albert.=| ^A387943;

830 0 a| Lecture notes in computer sciencev| 1166.=| ^A466336;

596 a| 1;

998 a| 613223;

999 a| TK7874.65 .F53 1996w| LCc| 1i| 30372009939171d| 4/3/2013f| 4/3/2013g| 3l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/14/1997x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds.

Author/creator	FMCAD '96
Other author	Srivas, Mandayam.
Other author	Camilleri, Albert.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	ix, 470 pages : illustrations ; 24 cm.
Subjects	Digital integrated circuits--Design and construction. --Data processing. --Congresses. Computer-aided design--Congresses. Automatic theorem proving--Congresses. Integrated circuits--Verification. --Congresses.

Series	Lecture notes in computer science ; 1166 Lecture notes in computer science 1166. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	96039129
ISBN	3540619372 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7874.65 .F53 1996	✔ Available	Place Hold

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds.

Click here for more information about this title

Availability