Tools

LEADER 01412cam 22003738a 4500

001 ocm25712842;

003 OCoLC;

005 20141212093925.0;

008 920331s1992 nyua b 000 0 eng ;

010 a| 92010883;

020 a| 0135724058 :c| $50.00;

035 a| (Sirsi) o25712842;

035 a| (OCoLC)25712842;

049 a| EREE;

050 00 a| TK7895.M5b| M4 1992;

082 00 a| 621.39/22| 20;

245 00 a| Mechanized reasoning and hardware design /c| edited by C.A.R. Hoare and M.J.C. Gordan.;

260 a| New York :b| Prentice Hall,c| 1992.;

300 a| 151 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Prentice-Hall International Series in computer science;

504 a| Includes bibliographical references.;

650 0 a| Microprocessorsx| Design and constructionx| Data processing.=| ^A1005572;

650 0 a| Logic designx| Data processing.=| ^A302261;

700 1 a| Hoare, C. A. R.q| (Charles Antony Richard),d| 1934-=| ^A209638;

700 1 a| Gordan, M. J. C.?| UNAUTHORIZED;

830 0 a| Prentice-Hall international series in computer science.=| ^A117347;

919 a| BOOK;

596 a| 1;

998 a| 450133;

999 a| TK7895.M5 M4 1992w| LCc| 1i| 30372006814906d| 4/4/2013e| 7/8/1994f| 4/4/2013g| 2l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 2/19/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Mechanized reasoning and hardware design / edited by C.A.R. Hoare and M.J.C. Gordan.

Other author	Hoare, C. A. R. (Charles Antony Richard), 1934-
Other author	Gordan, M. J. C.
Format	Book
Publication Info	New York : Prentice Hall, 1992.
Description	151 pages : illustrations ; 24 cm.
Subjects	Microprocessors--Design and construction. --Data processing. Logic design--Data processing.

Series	Prentice-Hall International Series in computer science Prentice-Hall international series in computer science. ^A117347
Bibliography note	Includes bibliographical references.
LCCN	92010883
ISBN	0135724058 :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7895.M5 M4 1992	✔ Available	Place Hold

Mechanized reasoning and hardware design / edited by C.A.R. Hoare and M.J.C. Gordan.

Click here for more information about this title

Availability