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

Editor

Springer

Fecha de publicaci�n

2009

Idioma

Ingl�s

ISBN 10

0387972269

ISBN 13

9780387972268

Encuadernaci�n

Encuadernaci�n de tapa blanda

Edici�n

1990.

Estado

Gut

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Sitz der Gesellschaft: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** Versandanschrift: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** kundenservice @ fachbuecher-weltversand.de Umsatzsteuer-Identifikationsnummer gem�� 27a Umsatzsteuergesetz DE240798524

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

NEPO UG
Bahnhofsplatz 1, R�sselheim am Main, 65428, Germany

Condiciones de venta y env�o

Condiciones de venta

Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat..Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns
NEPO UG
Bahnhofsplatz 1
65428 R�sselsheim am Main
eingetragen im Handelsregister des Amtsgerichtes Darmstadt
Handelsregisternummer HRB 103822
Ste...

M�s informaci�n