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

Advanced Formal Verification

Idioma InglésInglés
Libro Tapa dura
Libro Advanced Formal Verification Rolf Drechsler
Código Libristo: 05256403
Editores Springer-Verlag New York Inc., enero 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... 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

Geschichte der Antike Hans-Joachim Gehrke / Libro Tapa dura
common.buy 36.39 €
Popular
Běsi Fjodor Michajlovič Dostojevskij / Libro Tapa dura
common.buy 22.09 €
Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Libro Tapa blanda
common.buy 23.69 €
Inner Symphonies Hania Rani / Audio CD de audio
common.buy 26.19 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Libro Tapa blanda
common.buy 20.79 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Libro Tapa blanda
common.buy 25.39 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Libro Tapa blanda
common.buy 9.89 €
Existenzweisen Bruno Latour / Libro Tapa blanda
common.buy 27.29 €
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Libro Tapa blanda
common.buy 14.19 €

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §

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 Advanced Formal Verification
Autor Rolf Drechsler
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2004
Número de páginas 250
EAN 9781402077210
ISBN 1402077211
Código Libristo 05256403
Editores Springer-Verlag New York Inc.
Peso 1260
Dimensiones 156 x 234 x 20

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
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 > Técnicas de programación
Filosofía y religión > Filosofía
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

Young Offenders and Open Custody Tove Pettersson / Libro Tapa dura
common.buy 242.59 €
DESERT HAMSTER AS PETS JOHN W. LIN / Libro Tapa blanda
common.buy 12.19 €
Practical Arduino Engineering Harold Timmis / Libro electrónico Adobe ePub DRM
common.buy 91.59 €
Taking Your Library Career to the Next Level Holly Hibner / Libro electrónico Adobe ePub DRM
common.buy 72.89 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Libro Tapa blanda
common.buy 6.99 €
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Libro Tapa blanda
common.buy 22.79 €
Understanding SALVATION in Plain English Gary Crandall / Libro Tapa blanda
common.buy 12.69 €
Novissima Bernhard O´Reilly / Libro Tapa blanda
common.buy 26.69 €
Global Change, Regional Response Barbara Stallings / Libro Tapa blanda
common.buy 63.89 €
The Book of Stupid Questions Tom Weller / Libro Tapa blanda
common.buy 17.89 €
Essay on Plantership. Inscribed to Sir George Thomas, Bart. as a Monument to Ancient Friendship. the Seventh Edition, with All the Additions from the Samuel Martin / Libro Tapa blanda
common.buy 17.89 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Libro Tapa blanda
common.buy 176.79 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Libro Tapa blanda
common.buy 169.09 €
Próximamente
Confidentiality and Mental Health Christopher Cordess / Libro Tapa dura
common.buy 88.99 €
See You In Court Thomas Geoghegan / Libro Tapa blanda
common.buy 21.99 €
Interrupted Time Series Analysis David McDowall / Libro Tapa blanda
common.buy 29.09 €
France and the Holy Land Daniel H. Weiss / Libro Tapa dura
common.buy 66.39 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Libro Tapa blanda
common.buy 112.79 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Libro Tapa dura
common.buy 9.59 €

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?