Mary Sheeran – författare
Visar alla böcker från författaren Mary Sheeran. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Häftad, Engelska, 2010
277 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2019
471 kr
Skickas inom 3-6 vardagar
Inbunden, Engelska, 2019
706 kr
Skickas inom 3-6 vardagar
Häftad, Engelska
406 kr
Skickas inom 3-6 vardagar
Häftad, Engelska, 2024
296 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2024
508 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2024
379 kr
Skickas inom 3-6 vardagar
Häftad, Engelska, 1991
558 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.