Tools

LEADER 01549cam 22003498a 4500

001 ocm20827957;

005 20141212075701.0;

008 891207s1990 wb a b 100 0 eng ;

010 a| 89026300;

020 a| 0387972269 (U.S.) :c| DM57.50;

035 a| (Sirsi) o20827957;

035 a| (OCoLC)20827957;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| TK7874b| .H385 1990;

245 00 a| Hardware specification, verification, and synthesis :b| mathematical aspects : proceedings /c| Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 ; M. Leeser, G. Brown (eds.).;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1990.;

300 a| vi, 402 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| 408;

504 a| Includes bibliographical references.;

700 1 a| Leeser, M.q| (Miriam),d| 1958-=| ^A256353;

700 1 a| Brown, G.q| (Geoffrey),d| 1960-=| ^A256354;

710 2 a| Cornell University.b| Mathematical Sciences Institute.=| ^A256355;

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

919 a| BOOK;

596 a| 1;

998 a| 364409;

999 a| TK7874 .H385 1990w| LCc| 1i| 30372005520397d| 4/3/2013e| 11/30/1995f| 4/3/2013g| 3l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 10/4/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Hardware specification, verification, and synthesis : mathematical aspects : proceedings / Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 ; M. Leeser, G. Brown (eds.).

Other author	Leeser, M. (Miriam), 1958-
Other author	Brown, G. (Geoffrey), 1960-
Other author	Cornell University. Mathematical Sciences Institute.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1990.
Description	vi, 402 pages : illustrations ; 24 cm.
Subjects	Integrated circuits--Very large scale integration. --Design and construction. --Data processing. --Congresses.

Series	Lecture notes in computer science ; 408 Lecture notes in computer science 408. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	89026300
ISBN	0387972269 (U.S.) :

Hardware specification, verification, and synthesis : mathematical aspects : proceedings / Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 ; M. Leeser, G. Brown (eds.).

Click here for more information about this title