Mary Sheeran - Böcker
Visar alla böcker från författaren Mary Sheeran. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
281 kr
Skickas inom 5-8 vardagar
482 kr
Skickas inom 3-6 vardagar
724 kr
Skickas inom 3-6 vardagar
415 kr
Skickas inom 3-6 vardagar
288 kr
Skickas inom 5-8 vardagar
516 kr
Skickas inom 5-8 vardagar
388 kr
Skickas inom 3-6 vardagar
Designing Correct Circuits
Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
Häftad, Engelska, 1991
551 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the workshop on "Designing Correct Circuits", jointly organized 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.