Smartbooks

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

Hoofdkenmerken

Auteur:	Brown, Geoffrey
Redactie:	Brown, Geoffrey
Titel:	Hardware Specification, Verification and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989.
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9780387972268
Serie:	Lecture Notes in Computer
Editie:	1990 ed.
Land van oorsprong:	United States
Prijs:	€ 111,14
Verschijningsdatum:	14-02-1990
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	General (US: Trade)
Categorie:	Computer architecture & logic design
Geillustreerd:	VIII, 404 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	404
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1270

Inhoud:

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.