Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Symbolic Simulation Methods for Industrial Formal Verification

Lingua IngleseInglese
Libro In brossura
Libro Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones
Codice Libristo: 06796344
Casa editrice Springer-Verlag New York Inc., giugno 2002
This volume contains two distinct, but related, approaches to the verification problem, both based o... Descrizione completa
? points 249 b
101.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Le pouvoir exécutif et l'administration Chagnollaud / Libro In brossura
common.buy 10.29 €
Wazahl Azharn / Libro In brossura
common.buy 17.59 €
Zawody. Poznaję świat. Karty obrazkowe. Kapitan Nauka wyd. 2 Opracowanie zbiorowe / Libro Rigido
common.buy 4.59 €
Доктор Айболит Корней Чуковский / Libro In brossura
common.buy 13.49 €
Als wir Adler wurden Uticha Marmon / Libro Rigido
common.buy 12.09 €
Edicion limitada:no olvides cumplir tus sueños OSCAR GONZALEZ / Libro In brossura
common.buy 16.79 €
Halloweeni vendég Takács Viktória / Libro Rigido
common.buy 7.99 €
Drátky Maped 24/6 1000 ks / Articoli di cancelleria Articoli di cancelleria
common.buy 0.59 €
Vvedenie v pochvovedenie dlya jekologov Gennadij Koposov / Libro In brossura
common.buy 26.49 €
La dieta del grupo sanguíneo Jörg Zittlau / Libro In brossura
common.buy 15.49 €
Happy Valley - In einer kleinen Stadt. Staffel.1, 2 DVDs Sarah Lancashire / Video DVD
common.buy 12.09 €
Dict. Genealogique Des Familles Canadiennes. 7 (Ed.1871-1890) Cyprien Tanguay / Libro In brossura
common.buy 33.99 €
Fathers and Sons / (Otcy I Deti) Ivan Sergeevich Turgenev / Libro In brossura
common.buy 17.19 €
Nova Acta Academiae Caesareae Leopoldino Hermann Knoblauch / Libro In brossura
common.buy 39.59 €
Beitrage zur Angewandten Wirtschaftsforschung Hans J. Ramser / Libro In brossura
common.buy 71.39 €
Neuronale Muster- und Objekterkennung Rosemarie Velik / Libro In brossura
common.buy 66.59 €
Das Bund-Länder-Programm "Soziale Stadt" Thomas Belatschek / Libro In brossura
common.buy 41.59 €
Chefinnen in bodenlangen Jeansröcken Max Goldt / Libro Rigido
common.buy 20.89 €

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Symbolic Simulation Methods for Industrial Formal Verification
Autore Robert B. Jones
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 151
EAN 9781461353959
ISBN 1461353955
Codice Libristo 06796344
Casa editrice Springer-Verlag New York Inc.
Peso 272
Dimensioni 155 x 235 x 10

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia e ingegneria energetica > Ingegneria elettrica
Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Disegno assistito (CAD)
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Fan's View of the Super Bowl (R) James E Britton / Libro In brossura
common.buy 9.69 €
Lost Highway David Lynch / Video Blu-ray
common.buy 15.39 €
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 In brossura
common.buy 10.29 €
Motorcycle Tools and Safety: Technical English Basics M Rubio / Libro In brossura
common.buy 10.69 €
Your Resting Place David Towsey / Libro In brossura
common.buy 9.19 €
Tourism, Travel, and Blogging Azariah / Libro Rigido
common.buy 209.49 €
Introduction to Dogmatic Theology Revere Franklin Weidner / Libro Rigido
common.buy 28.29 €
Notepad Stories Usha Chandrasekharan / Libro Rigido
common.buy 13.09 €
Voice Technology in Healthcare David Metcalf / Libro In brossura
common.buy 43.99 €
Change Dylan Anders Porter / Libro In brossura
common.buy 12.39 €
Search for Grizzly One Don H Meredith / Libro In brossura
common.buy 8.49 €
Are You a Ten? The Ten Characteristics of a Servant Leader Barbara Baggerly-Hinojosa / Libro In brossura
common.buy 13.89 €
Gibraltar: Ante la Historia, La Diplomacia y la Politica Franciso María Tubino / Libro In brossura
common.buy 19.49 €
Citizenship and Governance in the European Union Richard Bellamy / Libro In brossura
common.buy 54.09 €
Auctions, Market Mechanisms and Their Applications Peter Coles / Libro In brossura
common.buy 51.09 €
Shakespeare Survey: Volume 62, Close Encounters with Shakespeare's Text Peter Holland / Libro Rigido
common.buy 118.09 €
Stranger Than Fiction Urban Book and MP3 Pack Phil Healey / Libro Rigido
common.buy 10.69 €
Three Men on a Horse George Abbott / Libro In brossura
common.buy 11.69 €
Magnetic Fields of Celestial Bodies Ye Shi-hui / Libro In brossura
common.buy 97.79 €
HAPM Workmanship Checklists Construction Audit Ltd. / Libro In brossura
common.buy 308.19 €
Reading French Psychoanalysis Dana Birksted-Breen / Libro Rigido
common.buy 250.39 €
Delaunay Tessellation Field Estimator Willem Schaap / Libro In brossura
common.buy 69.39 €
The Whispering Heart Kindle Edition Vaidehi Batra / Libro In brossura
common.buy 15.59 €
Kuki Book One - The End Lumix De Luminous / Libro In brossura
common.buy 7.59 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?