Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561190
Price: 56.59 EUR
Availability: InStock
Author: Dominique Borrione
ISBN: 9783540291053

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

Dominique Borrione

Wolfgang Paul

Idioma

Inglés

Libro Tapa blanda

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

Código Libristo: 01561190

138 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Deutsche Predigten und Traktate eister Eckhart

Tapa dura

46.71 €

Studienzeiten als Ist-Prozess Christiene Jasmand

Tapa blanda

52.79 €

Veganissimo. Ricette vegetali e senza glutine Antonio Alderuccio

Tapa dura

34.89 €

Bridgerton - Eloise & Phillip Petra Lingsminat

Tapa dura

20.69 €

Generationsgerechtigkeit und Nachhaltige Entwicklung am Beispiel von Wohnbedurfnissen der alteren Generation Franz Ludin

Tapa blanda

18.79 €

Chants populaires de France Eric LEBARDE

Tapa blanda

11.19 €

Malé životy Milan Čarňanský

Tapa blanda

5.59 €

Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann

Tapa blanda

111.79 €

bisschen mehr als Freundschaft Andreas Neubauer

Tapa blanda

14.49 €

Projektmanagement Fur Kulturmanager Armin Klein

Tapa blanda

51.89 €

COMPAS DEL VACIO PRIETO DE PAULA

Libro

9.99 €

Les Napolitains Marcelle Padovani

Tapa blanda

18.49 €

Pilote d'essais du cerf-volant à l'aéroplane Bellenger

Tapa blanda

32.89 €

Das Interieur in Karl Mays Amerika-Romanen Anna Lindner

Tapa blanda

17.89 €

Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne

CD de audio

20.50 €

Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt

Tapa blanda

39.39 €

J.K.ROWLING'S NEWT SCAMANDER Ernest Riera

Tapa blanda

21.59 €

Offener Himmel - weiter Raum Hans-Christoph Goßmann

Tapa blanda

27.50 €

Derecho romano Miquel

Tapa blanda

43.39 €

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.