Formal Semantics and Proof Techniques for Optimizing VHDL Models

Umamageswaran Kothanda Wilsey Philip A. Pandey Sheetanshu L.

ISBN 10: 0792383753 ISBN 13: 9780792383758

Editorial: Springer, 1998

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Biblios, Frankfurt am main, HESSE, Alemania

Vendedor de AbeBooks desde 10 de septiembre de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 23,90 Convertir moneda

EUR 14,50 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

pp. 184.

N� de ref. del art�culo 18300708

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Editor: Springer
Fecha de publicaci�n: 1998
Idioma: Ingl�s
ISBN 10: 0792383753
ISBN 13: 9780792383758
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: New

Acerca de

Sinopsis

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

Rese�a del editor

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

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

Descripci�n de la librer�a

We carry a wide selection of books from South Asia, United States, UK.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condiciones de venta y env�o

Condiciones de venta

Condiciones de env�o

Informaci�n detallada sobre el vendedor

M�todos de pago

A�adir una petici�n