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 Majestic Books, Hounslow, Reino Unido

Vendedor de AbeBooks desde 19 de enero de 2007

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 22,21 Convertir moneda

EUR 10,13 gastos de env�o desde Reino Unido 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 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

N� de ref. del art�culo 7547249

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 specialise in General Interest Books from South Asian countries.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Returns accepted if you are not satisfied with the Service or Book.

Condiciones de env�o

Best packaging and fast delivery

M�todos de pago

A�adir una petici�n