Code: 06796344
Symbolic Simulation Methods for Industrial Formal Verification
by Robert B. Jones
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 validati ... more
- Language:
English - Binding: Paperback
- Number of pages: 151
Publisher: Springer-Verlag New York Inc., 2002
- More about this
115.19 €
Low in stock at our supplier
Shipping in 10 - 14 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
-
Magnetic Fields of Celestial Bodies
115.19 € -
HAPM Workmanship Checklists
306.52 € -
Reading French Psychoanalysis
274.89 € -
Delaunay Tessellation Field Estimator
82.85 € -1 % -
Kuki Book One - The End
21.58 € -
Are You a Ten? The Ten Characteristics of a Servant Leader
16.56 € -
Search for Grizzly One
10.74 € -23 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Symbolic Simulation Methods for Industrial Formal Verification
You get 290 loyalty points
Book synopsis
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.§
Book details
Book category Books in English Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
115.19 €
- Full title: Symbolic Simulation Methods for Industrial Formal Verification
- Author: Robert B. Jones
- Language: English
- Binding: Paperback
- Number of pages: 151
- EAN: 9781461353959
- ISBN: 1461353955
- ID: 06796344
- Publisher: Springer-Verlag New York Inc.
- Weight: 272 g
- Dimensions: 235 × 155 × 10 mm
- Date of publishing: 30. June 2002
Trending among others
-
The Art of Electronics
101.63 € -
The Art of Electronics: The x Chapters
68.19 € -2 % -
Robot Sumo
23.29 € -24 % -
Make: More Electronics
27.51 € -22 % -
Practical Electronics for Inventors
40.27 € -9 % -
Age of Em
12.04 € -29 % -
LEGO MINDSTORMS EV3 Idea Book
19.57 € -24 % -
Encyclopedia of Electronic Components
19.98 € -22 % -
Encyclopedia of Electronic Components Volume 2
23.69 € -22 % -
Lego Mindstorms Ev3 Discovery Book
28.51 € -19 % -
Complete Electronics Self-Teaching Guide with Projects
27.91 € -25 % -
Lego Mindstorms Ev3 Laboratory
26.40 € -25 % -
Signal and Power Integrity - Simplified
133.07 € -
Encyclopedia of Electronic Components V3
23.59 € -23 % -
Robot Builder's Bonanza
27.81 € -22 % -
Foundations of Analog and Digital Electronic Circuits
104.14 € -4 % -
Understanding Cryptography
44.68 € -2 % -
SPS Theorie und Praxis
34.34 € -
Prüfungsvorbereitung aktuell - Elektroniker/-in Energie- und Gebäudetechnik
23.59 € -
Systems, Functions and Safety
53.32 € -4 % -
LOGO!
29.52 € -
Electrical Characteristics of Transmission Lines
108.86 € -
Lego Power Functions Idea Book, Volume 1
20.38 € -21 % -
How to Diagnose and Fix Everything Electronic, Second Edition
23.99 € -16 % -
Automotive Oscilloscopes
53.82 € -3 % -
PLC Controls with Structured Text (ST)
29.82 € -7 % -
Scary Smart
24.09 € -
How to Diagnose and Repair Automotive Electrical Systems
21.58 € -29 % -
Robotics, Vision and Control
66.48 € -13 % -
The LEGO Power Functions Idea Book, Vol. 2
20.38 € -21 % -
Lego Technic Idea Book: Simple Machines
21.18 € -
Definitive Guide to ARM (R) Cortex (R)-M3 and Cortex (R)-M4 Processors
65.78 € -
Electronics For Dummies, UK Edition
20.18 € -28 % -
Design of Analog CMOS Integrated Circuits
75.82 € -
Audiophile Vacuum Tube Amplifiers - Design, Construction, Testing, Repairing & Upgrading, Volume 1
69.09 € -
C Programming on Raspberry Pi
34.44 € -10 % -
Audiophile Vacuum Tube Amplifiers - Design, Construction, Testing, Repairing & Upgrading, Volume 2
68.99 € -
Audiophile Vacuum Tube Amplifiers Volume 3
68.99 € -
Manga Guide To Microprocessors
22.59 € -12 % -
Probabilistic Robotics
109.26 € -17 % -
Motors for Makers
29.12 € -20 % -
Automating with SIMATIC S7-1500
117 € -
Signals & Systems For Dummies
18.27 € -29 % -
LOGO! 8 - A Practical Introduction, with Circuit Solutions and Example Programs
28.41 € -9 % -
Transformers for Tube Amplifiers
95.91 € -1 % -
Practical Electronics: A Complete Introduction
16.86 € -26 % -
Artificial Intelligence
10.23 € -28 % -
3,000 Solved Problems in Electrical Circuits
39.36 € -19 % -
MicroPython for Microcontrollers
32.63 € -9 %
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)