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

Cornell University
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

Price
$ 56.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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

More by Cornell University

Show all

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