«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.

Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Código Libristo: 05274512
Editores Springer, Berlin, noviembre 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Libro Tapa blanda
common.buy 51.79 €
ME ENAMORE DE LA VILLANA 3 INORI / Libro Libro
common.buy 10.19 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Libro Tapa dura
common.buy 19.69 €
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Libro Tapa blanda
common.buy 35.49 €
MORIARTY EL PATRIOTA 3 TAKEUCHI / Libro Libro
common.buy 9.29 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Libro Libro
common.buy 15.89 €
Boxer and Brandon KIDKIDDOS BOOKS / Libro Tapa dura
common.buy 26.99 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Libro Tapa blanda
common.buy 17.69 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Libro Tapa blanda
common.buy 20.99 €
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Libro Tapa blanda
common.buy 16.99 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Juego/Juguete Juguete
common.buy 10.89 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio CD de audio
common.buy 13.09 €
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Libro Tapa blanda
common.buy 49.19 €
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Libro Tapa blanda
common.buy 27.69 €

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and 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 Correct Hardware Design and Verification Methods
Autor Paolo Enrico Camurati, Hans Eveking
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 346
EAN 9783540603856
ISBN 3540603859
Código Libristo 05274512
Editores Springer, Berlin
Peso 478
Dimensiones 155 x 233 x 18

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Bases de datos > Bases de datos distribuidas
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Redes y comunicaciones informáticas
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

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Libro Anillas de fijación
common.buy 67.49 €
Puppy Birthday to You! (Paw Patrol) Golden Books / Libro Tapa dura
common.buy 4.99 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Libro Tapa dura
common.buy 31.69 €
Life Under The Jolly Roger Gabriel Kuhn / Libro Tapa blanda
common.buy 16.59 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Libro Tapa blanda
common.buy 14.29 €
Political Theory and South Asian Counter-Narratives Maidul Islam / Libro Tapa dura
common.buy 215.89 €
George Sand Donna Dickenson / Libro Tapa dura
common.buy 191.29 €
Communication Gregory Bateson / Libro Tapa blanda
common.buy 72.29 €
Art in Belfast 1760-1880 Eileen Black / Libro Tapa blanda
common.buy 75.19 €
Migration and the Slums Growth Sangay Tamang / Libro Tapa blanda
common.buy 39.39 €
Delphinus Anita Marasco Maier / Libro Tapa blanda
common.buy 10.39 €
Impact of War on Federal Personnel Administration Gladys M Kammerer / Libro Tapa blanda
common.buy 35.19 €
Feminist Inquiry M.E. Hawkesworth / Libro Tapa blanda
common.buy 40.99 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Libro Tapa blanda
common.buy 39.99 €
Foundations of C++/CLI Gordon Hogenson / Libro Tapa blanda
common.buy 71.99 €
Advanced Computing and Systems for Security Rituparna Chaki / Libro Tapa blanda
common.buy 56.59 €
What Is Symmetry in Nature? Bobbie Kalman / Libro Tapa dura
common.buy 25.59 €
Popular
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Libro Tapa blanda
common.buy 8.29 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Libro Tapa blanda
common.buy 21.89 €
Oil Palm Jonathan E. Robins / Libro Tapa blanda
common.buy 39.09 €
Crooked House Agatha Christie / Libro Tapa dura
common.buy 26.29 €
One Immigrant in a World of Many ANDREA BERM DEZ / Libro Tapa blanda
common.buy 18.99 €
English Verse Edward Leeson / Audio CD de audio
common.buy 15.09 €
Three Wise Men from the East PATRICK WHITWORTH / Libro Tapa dura
common.buy 33.09 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?