This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design.
"synopsis" may belong to another edition of this title.
Shipping:
£ 9.50
From United Kingdom to U.S.A.
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
paperback. Condition: Good. Paperback (not spiral-bound). Workshops in Computing. Light wear on covers. Spine is creased. Edges, leading corners and spine ends are slightly bumped. Two creases on front cover. Page block is slightly tanned and marked. Contents are sound, clean, clear. BW. used. Seller Inventory # 279427
Quantity: 1 available
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Condition: Good. A few scratches, a couple of small creases and slight shelf wear on cover. Also a signature on top of title page. Content is fine. Seller Inventory # 062433-7
Quantity: 1 available
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: NEW. This item is printed on demand. Seller Inventory # 9783540196594
Quantity: 10 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Mar3113020162172
Quantity: Over 20 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 21286321-n
Quantity: 5 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9783540196594
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540196594_lsuk
Quantity: Over 20 available
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New. Seller Inventory # 21286321-n
Quantity: 5 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: NEW. 364 pages. 9.60x6.69x0.82 inches. In Stock. Seller Inventory # x-3540196595
Quantity: 2 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW. Seller Inventory # V9783540196594
Quantity: 15 available