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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Gastos de envío:
EUR 11,41
De Reino Unido a Estados Unidos de America
Gastos de envío:
GRATIS
A Estados Unidos de America
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
paperback. Condición: 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. Nº de ref. del artículo: 279427
Cantidad disponible: 1 disponibles
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Condición: 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. Nº de ref. del artículo: 062433-7
Cantidad disponible: 1 disponibles
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Soft Cover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9783540196594
Cantidad disponible: 10 disponibles
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020162172
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 21286321-n
Cantidad disponible: 5 disponibles
Librería: California Books, Miami, FL, Estados Unidos de America
Condición: New. Nº de ref. del artículo: I-9783540196594
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540196594_lsuk
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Condición: New. Nº de ref. del artículo: 21286321-n
Cantidad disponible: 5 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: NEW. 364 pages. 9.60x6.69x0.82 inches. In Stock. Nº de ref. del artículo: x-3540196595
Cantidad disponible: 2 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: NEW. Nº de ref. del artículo: V9783540196594
Cantidad disponible: 15 disponibles