Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings (Paperback, 1990 ed.) Loot Price: R1,766

Discovery Miles 17 660

Repayment Terms: R166 pm x 12*

Add to cart

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop. Cornell...

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings (Paperback, 1990 ed.)

Miriam Leeser, Geoffrey Brown

Series: Lecture Notes in Computer Science, 408

(sign in to rate)

Loot Price R1,766 Discovery Miles 17 660 | Repayment Terms: R166 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Lecture Notes in Computer Science, 408
Release date:	February 1990
First published:	1990
Editors:	Miriam Leeser • Geoffrey Brown
Dimensions:	235 x 155 x 21mm (L x W x T)
Format:	Paperback
Pages:	404
Edition:	1990 ed.
ISBN-13:	978-0-387-97226-8
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Applications of computing > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > General Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	0-387-97226-9
Barcode:	9780387972268