«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

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Correct Hardware Design and Verification Methods Tiziana Margaria
Código Libristo: 01563746
Editores Springer, Berlin, noviembre 2000
This book constitutes the refereed proceedings of the 11th 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

Próximamente
Kerberos in the Silver Rain AIKAWA / Libro Tapa blanda
common.buy 14.89 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Libro Libro
common.buy 16.09 €
La pédagogie Montessori / Libro Tapa blanda
common.buy 6.19 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Libro Tapa dura
common.buy 130.19 €
Zamalowane okna Anna Limanowicz / Libro Tapa dura
common.buy 9.99 €
La MLS (Mls) Annie Evearts / Libro Tapa blanda
common.buy 12.69 €
Begegnung am Donnerstag / Libro Tapa blanda
common.buy 28.09 €
Mimo wszystko Polak / Audiolibro MP3
common.buy 8.49 €
Pražský chodec proti tankům Jiří Všetečka / Libro Libro
common.buy 7.39 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Libro Tapa blanda
common.buy 30.19 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Libro Tapa blanda
common.buy 6.39 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Libro Libro
common.buy 8.69 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Libro Tapa blanda
common.buy 112.09 €
Regierungskommunikation in Deutschland Jana Heinze / Libro Tapa blanda
common.buy 70.89 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Libro Tapa blanda
common.buy 21.99 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Libro Tapa blanda
common.buy 9.99 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Libro Tapa blanda
common.buy 43.09 €
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Libro Tapa blanda
common.buy 29.99 €
Einleitung, UEberlieferung Horst Brunner / Libro Tapa dura
common.buy 205.99 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Libro Tapa blanda
common.buy 58.99 €
108 miradas : del lado de fuera y del lado de dentro / Libro Tapa blanda
common.buy 30.69 €
Mondjunge Viktoria Weber / Libro Tapa blanda
common.buy 16.29 €
Les Contours De L'Amour Jean Daniel Francois M D / Libro Tapa blanda
common.buy 14.49 €
Económico
Zamilované písničky ze 60 let interpreti Různí / Audio CD de audio
common.buy 2.89 €

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

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 Tiziana Margaria, Tom Melham
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2001
Número de páginas 488
EAN 9783540425410
ISBN 3540425411
Código Libristo 01563746
Editores Springer, Berlin
Peso 699
Dimensiones 155 x 235 x 25

Categorías

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 > Hardware (o soporte físico del ordenador)
Computación e informática > Sistemas operativos
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

Search for Solvency Alfred E. Eckes / Libro Tapa blanda
common.buy 42.39 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Libro Tapa blanda
common.buy 30.19 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Libro Tapa blanda
common.buy 10.69 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Libro Tapa blanda
common.buy 14.29 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Libro Tapa dura
common.buy 115.09 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Libro Tapa dura
common.buy 33.69 €
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Libro Tapa dura
common.buy 334.89 €
Fallen Series Megan D. Harding / Libro Tapa blanda
common.buy 15.89 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Libro Tapa blanda
common.buy 84.69 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Libro Tapa blanda
common.buy 7.49 €
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Libro Tapa blanda
common.buy 10.59 €
Thomas Hardy Annie Macdonell / Libro Tapa blanda
common.buy 25.09 €
Helena Paderewska Maciej Siekierski / Libro Tapa blanda
common.buy 29.79 €
Popular
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Libro Tapa dura
common.buy 24.69 €
Russian Nuclear Orthodoxy Dmitry Adamsky / Libro Tapa dura
common.buy 157.99 €
I See Zoo Animals LAUREN DICK / Libro Tapa blanda
common.buy 11.19 €
Popular
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Libro Tapa blanda
common.buy 8.89 €
Mammals of South America Rexford D Lord / Libro Tapa dura
common.buy 68.89 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Libro Tapa dura
common.buy 21.09 €
Love Lessons Alda Merini / Libro Tapa blanda
common.buy 26.49 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Libro Tapa dura
common.buy 595.19 €
Media Impact Biagi / Libro Tapa blanda
common.buy 130.79 €
Regulation Theory and Sustainable Development Corinne Gendron / Libro Tapa dura
common.buy 242.59 €
Evaluation in Decision Making Naftaly S. Glasman / Libro Tapa dura
common.buy 112.79 €

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?