«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Código Libristo: 06796876
Editores Springer-Verlag New York Inc., noviembre 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

DINOSAURIOS EDICIONES / Libro Libro
common.buy 6.99 €
Jeżyk i Jastrząb Jacek Michal Pawlowski / Libro Tapa dura
common.buy 22.09 €
Salmo 23 - Estudio Bíblico: El Pastor Conmigo / Libro Tapa blanda
common.buy 18.89 €
Próximamente
ELS TRES PORQUETS ELS EDITORS DE CATAPULTA / Libro Libro
common.buy 22.59 €
Sherlock Holmes. Uno studio in rosso Arthur Conan Doyle / Libro Tapa dura
common.buy 7.69 €
Zróbmy sobie szkołę Marcela Mikołaj / Libro Tapa blanda
common.buy 6.69 €
Atlantides Vincent Jacq / Libro Tapa blanda
common.buy 23.89 €
Tak dobrá je to hra Pavel Hruška / Libro Libro
common.buy 2.69 €
Atlas de l'Amérique précolombienne Goepfert / Libro Libro
common.buy 29.69 €
Die drei ??? Erstlese-Buch zum Film, 2. Klasse, und die Toteninsel Annegret König / Libro Tapa dura
common.buy 9.59 €
Mehrpersonen-Preisdifferenzierung Gerd Wilger / Libro Tapa blanda
common.buy 73.99 €
Próximamente
Feldwebel Kurt Knispel Franz Kurowski / Libro Tapa dura
common.buy 14.19 €
Geschichte Der Stadt Erfurt Bis Zur Unterwerfung Unter Die Mainzische Landeshoheit Im Jahre 1664 Carl Beyer / Libro Tapa blanda
common.buy 14.89 €
Un week-end sur deux et la moitié des vacances scolaires Samuel Doux / Libro Tapa blanda
common.buy 23.89 €
Uber Die Sprache Der Alten Preussen In Ihren Verwandtschaftlichen Beziehungen (1853) Franz Bopp / Libro Tapa blanda
common.buy 19.99 €
Verkehrsgeographie Otto Blum / Libro Tapa blanda
common.buy 79.19 €
Kfz und Panzer der Achsenmächte Gabriele Faggioni / Libro Tapa dura
common.buy 25.79 €
Flowers of War, 1 DVD Peicong Meng / Video DVD
common.buy 14.19 €
desmantelamiento de la democracia y el Estado Totalitario. Tomo XV. Coleccion Tratado de Derecho Constitucional Allan R Brewer-Carias / Libro Tapa blanda
common.buy 59.69 €
Financial Restructuring Kay Barth / Libro Tapa blanda
common.buy 63.49 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Semantics and Proof Techniques for Optimizing VHDL Models
Autor Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1998
Número de páginas 158
EAN 9781461373315
ISBN 146137331X
Código Libristo 06796876
Editores Springer-Verlag New York Inc.
Peso 290
Dimensiones 155 x 235 x 11

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Electrónica: circuitos y componentes
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología e ingeniería energética > Ingeniería eléctrica
Computación e informática > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD)
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Matemáticas y ciencias > Matemáticas
Computación e informática > Hardware (o soporte físico del ordenador)
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Corneal Topography Jeffrey B. Robin / Libro Tapa blanda
common.buy 112.79 €
Asset-backed Securitization and the Financial Crisis Nadine Senanayake / Libro Tapa blanda
common.buy 37.49 €
Remarks Upon the Newtonian Philosophy, as Propos'd by Sir Isaac Newton, in His Principia Philosophi Naturalis; And by Dr. Gregory, in His Principia A GEORGE GORDON / Libro Tapa dura
common.buy 32.79 €
Winston Ian Wishart / Libro Tapa blanda
common.buy 22.79 €
Abstract of Sir Isaac Newton's Chronology of Ancient Kingdoms. by Mr. Reid. the Second Edition. Sir Isaac Newton / Libro Tapa blanda
common.buy 16.39 €
Account of the Chapel of Roslin. Containing an Historical and Geographical Description of the Ancient and Present State of That Extraordinary Piece of Robert Forbes / Libro Tapa blanda
common.buy 16.89 €
Remaking Citizenship in Multicultural Europe Beatrice Halsaa / Libro Tapa blanda
common.buy 60.39 €
The Paper Chase: A Chief Inspector Pointer Mystery A. E. Fielding / Libro Tapa blanda
common.buy 15.39 €
Federal Registration Service of the United States Cressy Livingston Wilbur / Libro Tapa dura
common.buy 30.79 €
Chasing Down A Dream Beverly Jenkins / Libro Tapa blanda
common.buy 17.09 €
What's my name? ALLYSE Tiina Walsh / Libro Tapa blanda
common.buy 15.39 €
Maid and the Queen Nancy Goldstone / Libro Tapa blanda
common.buy 14.09 €
Chinese Battleship vs Japanese Cruiser Benjamin Lai / Libro Tapa blanda
common.buy 20.59 €
A Description of the Medals of Washington James Ross Snowden / Libro Tapa blanda
common.buy 22.79 €
The Possibilities that are YOU!: Volume 20: The Humanness of Humility Alex Bennet / Libro Tapa blanda
common.buy 7.99 €
John Bull Or An Englishman's Fireside: A Comedy, In Five Acts (1803) George Colman / Libro Tapa blanda
common.buy 21.99 €
Ballenesque ROGER BALLEN / Libro Tapa blanda
common.buy 51.09 €
While I Was Watching The Sun David Nazario / Libro Tapa blanda
common.buy 16.09 €
Lazy Dungeon Master (Manga) Vol. 1 Youta / Libro Tapa blanda
common.buy 12.19 €
Commentary on the Seven Penitential Psalms; Volume 1 John Fisher / Libro Tapa blanda
common.buy 19.09 €
BOY WHO BECAME A PARROT WOLVERTON BARRY / Libro Tapa dura
common.buy 18.89 €
Targeting the Powerful Vanessa Hack / Libro Tapa blanda
common.buy 77.69 €
Understanding Russianness Risto Alapuro / Libro Tapa dura
common.buy 252.29 €
Polish: An Essential Grammar Dana Bielec / Libro Tapa dura
common.buy 269.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo