Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science - Cornell University - Books - Springer-Verlag New York Inc. - 9780387972268 - February 14, 1990
In case cover and title do not match, the title is correct

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Cornell University

Price
CA$ 88.49

Ordered from remote warehouse

Expected delivery Oct 29 - Nov 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.

412 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 14, 1990
ISBN13 9780387972268
Publishers Springer-Verlag New York Inc.
Pages 404
Dimensions 155 × 235 × 21 mm   ·   576 g
Language English  
Editor Brown, Geoffrey
Editor Leeser, Miriam
Show all

More by Cornell University

See all of Cornell University ( e.g. Hardcover Book and Paperback Book )