Tools

LEADER 01702cam 22004334a 4500

001 ocm45115813;

003 OCoLC;

005 20141212145553.0;

008 000928s2000 gw a b 101 0 eng ;

010 a| 00049710;

020 a| 3540412190 (softcover : alk. paper);

035 a| (Sirsi) o45115813;

035 a| (OCoLC)45115813;

040 a| DLCc| DLCd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| TK7885.A1b| F59 2000;

082 00 a| 621.39/22| 21;

111 2 a| FMCAD 2000d| (2000 :c| Austin, Tex.)=| ^A469869;

245 10 a| Formal methods in computer-aided design :b| third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings /c| Warren A. Hunt, Jr., Steven D. Johnson, (eds.).;

246 18 a| FMCAD 2000;

300 a| xi, 537 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| 1954;

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Hunt, Warren A.,d| 1958-=| ^A355556;

700 1 a| Johnson, Steven D.q| (Steven Dexter)=| ^A182476;

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

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2001-02-14b| 79d| 4.5e| 75.05f| 743071;

596 a| 1;

998 a| 786359;

999 a| TK7885.A1 F59 2000w| LCc| 1i| 30372010922356d| 4/3/2013f| 4/3/2013g| 3l| JGESm| JOYNERp| $75.05r| Ys| Yt| JGESBKu| 2/27/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, (eds.).

Author/creator	FMCAD 2000
Other author	Hunt, Warren A., 1958-
Other author	Johnson, Steven D. (Steven Dexter)
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	xi, 537 pages : illustrations ; 24 cm.
Subjects	Computer engineering--Computer-aided design. --Congresses. Integrated circuits--Verification. --Congresses.

Spine title	FMCAD 2000
Series	Lecture notes in computer science ; 1954 Lecture notes in computer science 1954. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00049710
ISBN	3540412190 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7885.A1 F59 2000	✔ Available	Place Hold

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, (eds.).

Click here for more information about this title

Availability