Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Symbolic Simulation Methods for Industrial Formal Verification

Language EnglishEnglish
Book Paperback
Book Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones
Libristo code: 06796344
Publishers Springer-Verlag New York Inc., June 2002
This volume contains two distinct, but related, approaches to the verification problem, both based o... Full description
? points 271 b
40 745 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Edicion limitada:no olvides cumplir tus sueños OSCAR GONZALEZ / Book Paperback
common.buy 6 169 Ft
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 / Book Paperback
common.buy 3 070 Ft
Zawody. Poznaję świat. Karty obrazkowe. Kapitan Nauka wyd. 2 Opracowanie zbiorowe / Book Hardback
common.buy 2 045 Ft
Puzzle 2D 3000 Panowanie smoków 16462 / Game/Toy Game
common.buy 10 970 Ft
Le pouvoir exécutif et l'administration Chagnollaud / Book Paperback
common.buy 4 527 Ft
Selectae E Novo Testamento Historiae (1769) Desiderius Erasmus / Book Paperback
common.buy 9 827 Ft
Wazahl Azharn / Book Paperback
common.buy 7 824 Ft
Доктор Айболит Корней Чуковский / Book Paperback
common.buy 6 078 Ft
Als wir Adler wurden Uticha Marmon / Book Hardback
common.buy 4 892 Ft
Drátky Maped 24/6 1000 ks / Stationery items Stationery items
common.buy 242 Ft
Vvedenie v pochvovedenie dlya jekologov Gennadij Koposov / Book Paperback
common.buy 10 667 Ft
La dieta del grupo sanguíneo Jörg Zittlau / Book Paperback
common.buy 6 937 Ft
Happy Valley - In einer kleinen Stadt. Staffel.1, 2 DVDs Sarah Lancashire / Video DVD
common.buy 5 115 Ft
Dict. Genealogique Des Familles Canadiennes. 7 (Ed.1871-1890) Cyprien Tanguay / Book Paperback
common.buy 14 624 Ft
Fathers and Sons / (Otcy I Deti) Ivan Sergeevich Turgenev / Book Paperback
common.buy 7 777 Ft
Nova Acta Academiae Caesareae Leopoldino Hermann Knoblauch / Book Paperback
common.buy 15 967 Ft
Beitrage zur Angewandten Wirtschaftsforschung Hans J. Ramser / Book Paperback
common.buy 28 603 Ft
Neuronale Muster- und Objekterkennung Rosemarie Velik / Book Paperback
common.buy 29 072 Ft
Das Bund-Länder-Programm "Soziale Stadt" Thomas Belatschek / Book Paperback
common.buy 18 159 Ft
Chefinnen in bodenlangen Jeansröcken Max Goldt / Book Hardback
common.buy 8 470 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Symbolic Simulation Methods for Industrial Formal Verification
Author Robert B. Jones
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 151
EAN 9781461353959
ISBN 1461353955
Libristo code 06796344
Publishers Springer-Verlag New York Inc.
Weight 272
Dimensions 155 x 235 x 10

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Fan's View of the Super Bowl (R) James E Britton / Book Paperback
common.buy 4 830 Ft
Motorcycle Tools and Safety: Technical English Basics M Rubio / Book Paperback
common.buy 4 062 Ft
Lost Highway David Lynch / Video Blu-ray
common.buy 5 822 Ft
Master The Job Interview: Proven Tips And Techniques To Acing The Job Interview: Proven Tips and Techniques To Acing The Job Interview Brian Gadsen / Book Paperback
common.buy 4 845 Ft
A New Orleans Tale: A Short Story A Traub / Book Paperback
common.buy 2 439 Ft
Your Resting Place David Towsey / Book Paperback
common.buy 4 437 Ft
Tourism, Travel, and Blogging Azariah / Book Hardback
common.buy 95 260 Ft
Introduction to Dogmatic Theology Revere Franklin Weidner / Book Hardback
common.buy 13 167 Ft
Voice Technology in Healthcare David Metcalf / Book Paperback
common.buy 20 826 Ft
Notepad Stories Usha Chandrasekharan / Book Hardback
common.buy 5 039 Ft
Change Dylan Anders Porter / Book Paperback
common.buy 5 746 Ft
Search for Grizzly One Don H Meredith / Book Paperback
common.buy 4 242 Ft
Are You a Ten? The Ten Characteristics of a Servant Leader Barbara Baggerly-Hinojosa / Book Paperback
common.buy 6 396 Ft
Reading French Psychoanalysis Dana Birksted-Breen / Book Hardback
common.buy 111 824 Ft
Citizenship and Governance in the European Union Richard Bellamy / Book Paperback
common.buy 21 879 Ft
Auctions, Market Mechanisms and Their Applications Peter Coles / Book Paperback
common.buy 20 432 Ft
Shakespeare Survey: Volume 62, Close Encounters with Shakespeare's Text Peter Holland / Book Hardback
common.buy 49 248 Ft
Stranger Than Fiction Urban Book and MP3 Pack Phil Healey / Book Hardback
common.buy 3 777 Ft
Three Men on a Horse George Abbott / Book Paperback
common.buy 5 163 Ft
Magnetic Fields of Celestial Bodies Ye Shi-hui / Book Paperback
common.buy 42 809 Ft
HAPM Workmanship Checklists Construction Audit Ltd. / Book Paperback
common.buy 140 161 Ft
Kuki Book One - The End Lumix De Luminous / Book Paperback
common.buy 3 549 Ft
Delaunay Tessellation Field Estimator Willem Schaap / Book Paperback
common.buy 32 214 Ft
The Whispering Heart Kindle Edition Vaidehi Batra / Book Paperback
common.buy 7 236 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account