«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

13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Correct Hardware Design and Verification Methods Dominique Borrione
Código Libristo: 01561190
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2005
This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Co... 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

Offener Himmel - weiter Raum Hans-Christoph Goßmann / Libro Tapa blanda
common.buy 27.49 €
Chants populaires de France Eric LEBARDE / Libro Tapa blanda
common.buy 12.29 €
Les Napolitains Marcelle Padovani / Libro Tapa blanda
common.buy 19.59 €
Pilote d'essais du cerf-volant à l'aéroplane Bellenger / Libro Tapa blanda
common.buy 34.09 €
Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann / Libro Tapa blanda
common.buy 95.39 €
bisschen mehr als Freundschaft Andreas Neubauer / Libro Tapa blanda
common.buy 14.49 €
Deutsche Predigten und Traktate eister Eckhart / Libro Tapa dura
common.buy 46.69 €
Projektmanagement Fur Kulturmanager Armin Klein / Libro Tapa blanda
common.buy 51.89 €
Das Interieur in Karl Mays Amerika-Romanen Anna Lindner / Libro Tapa blanda
common.buy 17.89 €
Studienzeiten als Ist-Prozess Christiene Jasmand / Libro Tapa blanda
common.buy 52.99 €
Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt / Libro Tapa blanda
common.buy 39.49 €
Malé životy Milan Čarňanský / Libro Tapa blanda
common.buy 5.59 €
Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne / Audio CD de audio
common.buy 20.49 €

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005.§The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.

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 Dominique Borrione, Wolfgang Paul
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 414
EAN 9783540291053
ISBN 3540291059
Código Libristo 01561190
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1330
Dimensiones 155 x 235 x 24

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
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 > Ciencias de la computación > Inteligencia artificial
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

Precursor Chemistry of Advanced Materials Roland A. Fischer / Libro Tapa dura
common.buy 362.19 €
So...This is Your Life- Mataya Arrow Gaye J. Gompers / Libro Tapa blanda
common.buy 44.09 €
Life in the Far West George F. Ruxton / Libro Tapa blanda
common.buy 19.69 €
Popular
Pointing at the Moon Jay L. Garfield / Libro Tapa blanda
common.buy 43.79 €
Adjusting to Globalization Greenaway / Libro Tapa blanda
common.buy 33.69 €
Runaway Joyce Case / Libro Tapa blanda
common.buy 14.29 €
Mexico Michael Hogan / Libro Tapa blanda
common.buy 10.69 €
Tallahassee: A Capital City History Julianne Hare / Libro Tapa blanda
common.buy 21.89 €
Punta Gorda Ann M. O'Phelan / Libro Tapa blanda
common.buy 21.89 €
Reserve Retirement Reform Beth J. Asch / Libro Tapa blanda
common.buy 23.89 €
Elite Tennis Players Handbook to Powerful Muscle Developing Nutrition: Prepare Like the Pros by Escalating Your RMR to Generate More Muscle, Eliminate Joseph Correa / Libro Tapa blanda
common.buy 23.79 €
Mastering VMware vSphere 6.7 Nick Marshall / Libro Tapa blanda
common.buy 47.39 €
Temporomandibular Disorders Henry A. Gremillion / Libro Tapa blanda
common.buy 121.69 €
Tucker and the Big Bad Bully Lynn McCain / Libro Tapa blanda
common.buy 10.69 €
Dreamer Delilah Gose / Libro Tapa blanda
common.buy 16.39 €
Great Ormond Street Nurse Vanessa Martin / Libro Tapa blanda
common.buy 17.59 €
Extempore Speech, How to Acquire and Practice It / Libro Tapa dura
common.buy 68.79 €
Próximamente
Style is Eternal Nicole Jenkins / Libro Tapa blanda
common.buy 34.49 €
Blow the Trumpet in Zion! Haynes Frederick D. III / Libro Tapa blanda
common.buy 30.69 €
Fibrewise Topology I. M. James / Libro Tapa blanda
common.buy 55.89 €
Cruel as the Grave Emma Dorothy Eliza Nevitte Southworth / Libro Tapa blanda
common.buy 17.79 €
Jailed for Possession Catherine Carstairs / Libro Tapa blanda
common.buy 39.69 €
Forming National Identity in Iran Ali Mozaffari / Libro Tapa dura
common.buy 222.49 €
Central Nervous System Diseases and Inflammation Thomas E. Lane / Libro Tapa dura
common.buy 169.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?