Ex-Library hardcover in good condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

N� de ref. del art�culo UTL50430

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Computer Hardware Description Languages and Their Applications
Editor: North-Holland
Fecha de publicaci�n: 1985
Idioma: Ingl�s
ISBN 10: 0444878262
ISBN 13: 9780444878267
Encuadernaci�n: Hardcover
Estado: Good

Acerca de

Sinopsis

The papers of this seventh conference reflect the gradual shift from the original emphasis on the uses of language design to describe hardware, toward more formal techniques for specification and verification. This volume highlights the following topics: - Languages to specify and describe hardware design, to reason about timing and functional behaviour, and to support modelling and performance evaluation - Synthesis and verification of systems as means of support for the design process, and as a guarantee of design consistency and functional correctness - Tool Integration aspects such as the representation of design information, and the putting together of tools within a coherent design environment.

Rese�a del editor

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

Descripci�n de la librer�a

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

GuthrieBooks
TX, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

At this time we accept payment through Visa or Mastercard.

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.