Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor by Leeser, Miriam

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor (Paperback) (ISBN-13: 9780387972268)

Vendor: Miriam Leeser
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor by Leeser, Miriam

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor

$54.99
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor by Leeser, Miriam

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor

$54.99
Format: Paperback
Description
Description
x
The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs. Most of the research was performed in the United States.

Author: Miriam Leeser
ISBN-10: 0387972269
ISBN-13: 9780387972268
Publisher: Springer
Language: English
Published: 02/14/1990
Pages: 404
Format: Paperback
Weight: 1.27lbs
Size: 9.21h x 6.14w x 0.84d

Recently Viewed Products