Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Symbolic Simulation Methods for Industrial Formal Verification

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones
Koda Libristo: 06796344
Založba Springer-Verlag New York Inc., junij 2002
This volume contains two distinct, but related, approaches to the verification problem, both based o... Celoten opis
? points 236 b
97.71 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Edicion limitada:no olvides cumplir tus sueños OSCAR GONZALEZ / Knjiga Mehka
common.buy 15.11 €
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 / Knjiga Mehka
common.buy 7.40 €
Zawody. Poznaję świat. Karty obrazkowe. Kapitan Nauka wyd. 2 Opracowanie zbiorowe / Knjiga Trda
common.buy 5.06 €
Puzzle 2D 3000 Panowanie smoków 16462 / Igra/Igrača Igra
common.buy 26.58 €
Le pouvoir exécutif et l'administration Chagnollaud / Knjiga Mehka
common.buy 11.46 €
Selectae E Novo Testamento Historiae (1769) Desiderius Erasmus / Knjiga Mehka
common.buy 23.84 €
Wazahl Azharn / Knjiga Mehka
common.buy 19.68 €
Доктор Айболит Корней Чуковский / Knjiga Mehka
common.buy 15.01 €
Als wir Adler wurden Uticha Marmon / Knjiga Trda
common.buy 11.56 €
Drátky Maped 24/6 1000 ks / Pisarniški material Pisarniški material
common.buy 0.60 €
Vvedenie v pochvovedenie dlya jekologov Gennadij Koposov / Knjiga Mehka
common.buy 25.26 €
La dieta del grupo sanguíneo Jörg Zittlau / Knjiga Mehka
common.buy 17.44 €
Happy Valley - In einer kleinen Stadt. Staffel.1, 2 DVDs Sarah Lancashire / Film DVD
common.buy 12.88 €
Dict. Genealogique Des Familles Canadiennes. 7 (Ed.1871-1890) Cyprien Tanguay / Knjiga Mehka
common.buy 38.35 €
Fathers and Sons / (Otcy I Deti) Ivan Sergeevich Turgenev / Knjiga Mehka
common.buy 19.17 €
Nova Acta Academiae Caesareae Leopoldino Hermann Knoblauch / Knjiga Mehka
common.buy 37.84 €
Beitrage zur Angewandten Wirtschaftsforschung Hans J. Ramser / Knjiga Mehka
common.buy 68.58 €
Neuronale Muster- und Objekterkennung Rosemarie Velik / Knjiga Mehka
common.buy 71.73 €
Das Bund-Länder-Programm "Soziale Stadt" Thomas Belatschek / Knjiga Mehka
common.buy 44.84 €
Chefinnen in bodenlangen Jeansröcken Max Goldt / Knjiga Trda
common.buy 19.88 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Symbolic Simulation Methods for Industrial Formal Verification
Avtor Robert B. Jones
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2002
Število strani 151
EAN 9781461353959
ISBN 1461353955
Koda Libristo 06796344
Založba Springer-Verlag New York Inc.
Teža 272
Mere 155 x 235 x 10

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer science > Artificial intelligence
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Fan's View of the Super Bowl (R) James E Britton / Knjiga Mehka
common.buy 11.35 €
Motorcycle Tools and Safety: Technical English Basics M Rubio / Knjiga Mehka
common.buy 9.83 €
Lost Highway David Lynch / Film Blu-ray
common.buy 14.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 / Knjiga Mehka
common.buy 11.76 €
A New Orleans Tale: A Short Story A Traub / Knjiga Mehka
common.buy 5.88 €
Your Resting Place David Towsey / Knjiga Mehka
common.buy 12.27 €
Tourism, Travel, and Blogging Azariah / Knjiga Trda
common.buy 234.29 €
Introduction to Dogmatic Theology Revere Franklin Weidner / Knjiga Trda
common.buy 31.95 €
Voice Technology in Healthcare David Metcalf / Knjiga Mehka
common.buy 51.23 €
Notepad Stories Usha Chandrasekharan / Knjiga Trda
common.buy 13.18 €
Change Dylan Anders Porter / Knjiga Mehka
common.buy 13.99 €
Search for Grizzly One Don H Meredith / Knjiga Mehka
common.buy 9.93 €
Are You a Ten? The Ten Characteristics of a Servant Leader Barbara Baggerly-Hinojosa / Knjiga Mehka
common.buy 15.62 €
Reading French Psychoanalysis Dana Birksted-Breen / Knjiga Trda
common.buy 278.73 €
Citizenship and Governance in the European Union Richard Bellamy / Knjiga Mehka
common.buy 57.42 €
Auctions, Market Mechanisms and Their Applications Peter Coles / Knjiga Mehka
common.buy 49.00 €
Shakespeare Survey: Volume 62, Close Encounters with Shakespeare's Text Peter Holland / Knjiga Trda
common.buy 119.73 €
Stranger Than Fiction Urban Book and MP3 Pack Phil Healey / Knjiga Trda
common.buy 9.93 €
Three Men on a Horse George Abbott / Knjiga Mehka
common.buy 12.67 €
Magnetic Fields of Celestial Bodies Ye Shi-hui / Knjiga Mehka
common.buy 110.90 €
HAPM Workmanship Checklists Construction Audit Ltd. / Knjiga Mehka
common.buy 344.69 €
Kuki Book One - The End Lumix De Luminous / Knjiga Mehka
common.buy 8.61 €
Delaunay Tessellation Field Estimator Willem Schaap / Knjiga Mehka
common.buy 78.33 €
The Whispering Heart Kindle Edition Vaidehi Batra / Knjiga Mehka
common.buy 17.54 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo