Tools

LEADER 01644cam 2200397 a 4500

001 ocm40043692;

003 OCoLC;

005 20141212131320.0;

008 980930s1998 gw a b 101 0 eng ;

010 a| 98046729;

020 a| 3540651918 (soft cover : alk. paper);

035 a| (Sirsi) o40043692;

035 a| (OCoLC)40043692;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 00 a| 621.39/22| 21;

111 2 a| FMCAD '98d| (1998 :c| Palo Alto, Calif.)=| ^A410598;

245 10 a| Formal methods in computer-aided design :b| second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /c| Ganesh Gopalakrishnan, Phillip Windley (eds.).;

300 a| ix, 528 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| 1522;

504 a| Includes bibliographical references and index.;

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

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

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

700 1 a| Gopalakrishnan, Ganesh.=| ^A410599;

700 1 a| Windley, Phillip.?| UNAUTHORIZED;

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

994 a| E0b| ERE;

596 a| 1;

998 a| 647694;

999 a| TK7874.65 .F53 1998w| LCc| 1i| 30372010292115d| 4/3/2013f| 4/3/2013g| 3l| JGESm| JOYNERp| $63.00r| Ys| Yt| JGESBKu| 6/17/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.).

Author/creator	FMCAD '98
Other author	Gopalakrishnan, Ganesh.
Other author	Windley, Phillip.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	ix, 528 pages : illustrations ; 24 cm.
Subjects	Digital integrated circuits--Computer-aided design. --Congresses. Automatic theorem proving--Congresses. Integrated circuits--Verification. --Congresses.

Series	Lecture notes in computer science ; 1522 Lecture notes in computer science 1522. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	98046729
ISBN	3540651918 (soft cover : alk. paper)

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.).

Click here for more information about this title