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

Symbolic Simulation Methods for Industrial Formal Verification

Idioma InglésInglés
Libro Tapa blanda
Libro Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones
Código Libristo: 06796344
Editores Springer-Verlag New York Inc., junio 2002
This volume contains two distinct, but related, approaches to the verification problem, both based o... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Edicion limitada:no olvides cumplir tus sueños OSCAR GONZALEZ / Libro Tapa blanda
common.buy 17.09 €
Ballet Livre de Coloriage Pour Enfants: Danseur de ballet livre de coloriage, livre de coloriage de ballet pour les enfants de 4 ? 8 ans Danseuse de Ballet Frpublishing / Libro Tapa blanda
common.buy 8.09 €
Zawody. Poznaję świat. Karty obrazkowe. Kapitan Nauka wyd. 2 Opracowanie zbiorowe / Libro Tapa dura
common.buy 5.69 €
Puzzle 2D 3000 Panowanie smoków 16462 / Juego/Juguete Juego
common.buy 30.49 €
Le pouvoir exécutif et l'administration Chagnollaud / Libro Tapa blanda
common.buy 12.59 €
Selectae E Novo Testamento Historiae (1769) Desiderius Erasmus / Libro Tapa blanda
common.buy 25.89 €
Wazahl Azharn / Libro Tapa blanda
common.buy 21.69 €
Доктор Айболит Корней Чуковский / Libro Tapa blanda
common.buy 16.09 €
Als wir Adler wurden Uticha Marmon / Libro Tapa dura
common.buy 13.59 €
Drátky Maped 24/6 1000 ks / Artículos de papelería Artículos de papelería
common.buy 0.69 €
Vvedenie v pochvovedenie dlya jekologov Gennadij Koposov / Libro Tapa blanda
common.buy 29.59 €
La dieta del grupo sanguíneo Jörg Zittlau / Libro Tapa blanda
common.buy 18.29 €
Happy Valley - In einer kleinen Stadt. Staffel.1, 2 DVDs Sarah Lancashire / Video DVD
common.buy 14.79 €
Dict. Genealogique Des Familles Canadiennes. 7 (Ed.1871-1890) Cyprien Tanguay / Libro Tapa blanda
common.buy 42.39 €
Fathers and Sons / (Otcy I Deti) Ivan Sergeevich Turgenev / Libro Tapa blanda
common.buy 20.59 €
Nova Acta Academiae Caesareae Leopoldino Hermann Knoblauch / Libro Tapa blanda
common.buy 44.29 €
Beitrage zur Angewandten Wirtschaftsforschung Hans J. Ramser / Libro Tapa blanda
common.buy 79.19 €
Neuronale Muster- und Objekterkennung Rosemarie Velik / Libro Tapa blanda
common.buy 84.69 €
Das Bund-Länder-Programm "Soziale Stadt" Thomas Belatschek / Libro Tapa blanda
common.buy 52.99 €
Chefinnen in bodenlangen Jeansröcken Max Goldt / Libro Tapa dura
common.buy 23.49 €

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.§

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 Symbolic Simulation Methods for Industrial Formal Verification
Autor Robert B. Jones
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 151
EAN 9781461353959
ISBN 1461353955
Código Libristo 06796344
Editores Springer-Verlag New York Inc.
Peso 272
Dimensiones 155 x 235 x 10

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Electrónica: circuitos y componentes
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 > Ciencias de la computación > Inteligencia artificial
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

Fan's View of the Super Bowl (R) James E Britton / Libro Tapa blanda
common.buy 12.69 €
Motorcycle Tools and Safety: Technical English Basics M Rubio / Libro Tapa blanda
common.buy 10.69 €
Lost Highway David Lynch / Video Blu-ray
common.buy 16.09 €
Master The Job Interview: Proven Tips And Techniques To Acing The Job Interview: Proven Tips and Techniques To Acing The Job Interview Brian Gadsen / Libro Tapa blanda
common.buy 12.79 €
A New Orleans Tale: A Short Story A Traub / Libro Tapa blanda
common.buy 6.49 €
Your Resting Place David Towsey / Libro Tapa blanda
common.buy 11.99 €
Tourism, Travel, and Blogging Azariah / Libro Tapa dura
common.buy 252.29 €
Introduction to Dogmatic Theology Revere Franklin Weidner / Libro Tapa dura
common.buy 34.79 €
Voice Technology in Healthcare David Metcalf / Libro Tapa blanda
common.buy 55.19 €
Notepad Stories Usha Chandrasekharan / Libro Tapa dura
common.buy 14.59 €
Change Dylan Anders Porter / Libro Tapa blanda
common.buy 15.19 €
Search for Grizzly One Don H Meredith / Libro Tapa blanda
common.buy 11.19 €
Are You a Ten? The Ten Characteristics of a Servant Leader Barbara Baggerly-Hinojosa / Libro Tapa blanda
common.buy 16.89 €
Reading French Psychoanalysis Dana Birksted-Breen / Libro Tapa dura
common.buy 309.49 €
Citizenship and Governance in the European Union Richard Bellamy / Libro Tapa blanda
common.buy 63.39 €
Auctions, Market Mechanisms and Their Applications Peter Coles / Libro Tapa blanda
common.buy 56.59 €
Shakespeare Survey: Volume 62, Close Encounters with Shakespeare's Text Peter Holland / Libro Tapa dura
common.buy 144.69 €
Stranger Than Fiction Urban Book and MP3 Pack Phil Healey / Libro Tapa dura
common.buy 10.89 €
Three Men on a Horse George Abbott / Libro Tapa blanda
common.buy 14.29 €
Magnetic Fields of Celestial Bodies Ye Shi-hui / Libro Tapa blanda
common.buy 118.19 €
HAPM Workmanship Checklists Construction Audit Ltd. / Libro Tapa blanda
common.buy 371.19 €
Kuki Book One - The End Lumix De Luminous / Libro Tapa blanda
common.buy 9.39 €
Delaunay Tessellation Field Estimator Willem Schaap / Libro Tapa blanda
common.buy 85.09 €
The Whispering Heart Kindle Edition Vaidehi Batra / Libro Tapa blanda
common.buy 19.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?