«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 dura
Libro Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Código Libristo: 01397588
Editores Springer, 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 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La Promessa - 4 Steffen Jacobsen / Libro electrónico Adobe ePub DRM
common.buy 6.39 €
DENTES DE DRAGÇO CRICHTON / Libro Libro
common.buy 25.39 €
Organizzazione, compiti e mansioni dell'Agenzia di Intelligence e Sicurezza Sinisa Djukic / Libro Tapa blanda
common.buy 39.39 €
Vodní omalovánky - Pohádky Barbara Wierzchowska / Libro Tapa blanda
common.buy 1.69 €
Cose Da Fare E Da Non Fare E Miti E Fatti Sul Covid-19 Rameshwar Pandey / Libro Tapa blanda
common.buy 39.39 €
Sančo a Jasno na cestách Vladimír Pospíšil / Libro Tapa blanda
common.buy 4.59 €
Bis Zum Letzten Mann: Wiens Verteidiger Im Würgegriff Der Türken Martin Ostheim / Libro Tapa blanda
common.buy 13.59 €
EL GATO QUE REGALABA SONRISAS RACHEL WELLS / Libro Tapa blanda
common.buy 18.29 €
Oeuvres Completes. Tome 28 QUINET-E / Libro Tapa blanda
common.buy 26.09 €
Elektrická násobilka společenská hra na baterie v krabici / Juego/Juguete Juego
common.buy 17.59 €
Sternstunden Religion 7/8 Wolfgang Rieß / Libro Hoja
common.buy 31.19 €
3. Schuljahr, Das Arbeitsheft Wolfgang Menzel / Libro Hoja
common.buy 13.79 €
Mujeres en flagante delito de independencia Gail Pheterson / Libro Tapa blanda
common.buy 17.69 €
Handbuch Sponsoring Ariane Bagusat / Libro Tapa dura
common.buy 72.59 €
Praxis Didactica Desde El Enfoque Geohistorico Sayago Aura / Libro Tapa blanda
common.buy 28.69 €
L'intelligence des visions de l'apocalypse Frederic Philibert / Libro Tapa dura
common.buy 37.29 €
Les Enigmes de Charles-Quint, Proverbe Historique Josephine-Marie De Gaulle / Libro Tapa blanda
common.buy 13.89 €
Le Bilan de la Republique: Avis Aux Habitants Des Campagnes (2e Edition) Mariotte-A-P-J / Libro Tapa blanda
common.buy 15.19 €

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 dura
Fecha de publicación 1998
Número de páginas 158
EAN 9780792383758
ISBN 0792383753
Código Libristo 01397588
Editores Springer
Peso 970
Dimensiones 155 x 235 x 15

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: cuestiones generales > Ingeniería: general
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
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
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

Magnetic Resonance Imaging of the Bone Marrow Andrea Baur-Melnyk / Libro Tapa blanda
common.buy 171.29 €
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Libro Tapa dura
common.buy 82.69 €
Christian Missions and Social Progress; A Sociological Study of Foreign Missions James S 1842-1914 Dennis / Libro Tapa dura
common.buy 52.39 €
Identity Crises and Indigenous Religious Traditions OBINNA / Libro Tapa dura
common.buy 252.29 €
Asia Alexis Roumanis / Libro Tapa dura
common.buy 28.69 €
Longing for Darkness: Tara and the Black Madonna; A Ten-Year Journey China Galland / Libro Tapa blanda
common.buy 27.89 €
Jews of Springfield in the Ozarks Mara W. Cohen Ioannides / Libro Tapa blanda
common.buy 21.89 €
Dictionary of Literary Biography: Japanese Fiction Writers Since WW II Van C. Gessel / Libro Tapa dura
common.buy 644.09 €
Eugene O'Neill - American Writers 45: University of Minnesota Pamphlets on American Writers John Gassner / Libro Tapa blanda
common.buy 30.79 €
Magnetic Properties of Paramagnetic Compounds R. T. Pardasani / Libro Tapa dura
common.buy 780.19 €
Cause, Cure, and Cancer Free: How I Became a Cancer Escapee John Marra / Libro Tapa blanda
common.buy 12.59 €
iGlobal Math, Grade 4 Texas Edition: Power Practice for School, Home, and Tutoring Iglobal Educational Services / Libro Tapa blanda
common.buy 12.59 €
Popular
You Read To Me, I'll Read To You Mary Ann Hoberman / Libro Tapa blanda
common.buy 8.09 €
Memorabilia Xenophon / Libro Tapa blanda
common.buy 22.79 €
Anne Frank: Out of the Shadows Anna Leigh / Libro Tapa dura
common.buy 39.99 €
Papers on Art J. Comyns Carr / Libro Tapa dura
common.buy 33.69 €
Sepher Yetzirah Abraham / Libro Tapa blanda
common.buy 17.29 €
ABC Book: Ideal /Easy Colouring and Tracing Letters Workbook for Kids Priscilla S. Anderson / Libro Tapa blanda
common.buy 7.79 €
Renewable Energy and Energy Efficiency Aidan Duffy / Libro electrónico Adobe ePub DRM
common.buy 66.49 €
Hansel and Gretel Jacob and Wilhelm Grimm / Libro electrónico Adobe ePub DRM
common.buy 15.89 €
Black Caesars and Foxy Cleopatras: A History of Blaxploitation Cinema Henderson / Libro Tapa dura
common.buy 22.09 €
Brainstorm: Outdoor Adventure Mikroskop / Juego/Juguete Juguete
common.buy 16.09 €
The Beatles 1967 - 1970 (Blue Album 2CD) The Beatles / Audio CD de audio
common.buy 29.19 €
Modern Islamic Investment Management Mohd Ma'Sum Billah / Libro electrónico Adobe ePub DRM
common.buy 99.19 €

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