Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Professional & Technical > Energy technology & engineering > Electrical engineering

Buy Now

Symbolic Simulation Methods for Industrial Formal Verification (Paperback, Softcover reprint of the original 1st ed. 2002) Loot Price: R2,919
Discovery Miles 29 190
Repayment Terms: R274 pm x 12*
Add to cart
Symbolic Simulation Methods for Industrial Formal Verification (Paperback, Softcover reprint of the original 1st ed. 2002):...

Symbolic Simulation Methods for Industrial Formal Verification (Paperback, Softcover reprint of the original 1st ed. 2002)

Robert B. Jones

 (sign in to rate)
Loot Price R2,919 Discovery Miles 29 190 | Repayment Terms: R274 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Donate to Gift Of The Givers

Symbolic Simulation Methods for Industrial Formal Verification (Paperback, Softcover reprint of the original 1st ed. 2002):...
Symbolic Simulation Methods for…
R2,919
Gift of the Givers Donation Voucher (R20):
Gift of the Givers Donation Voucher…
R20
Total price: R2,939
Discovery Miles: 29 390
Terms: R275 pm x 12*
Get the bundle!
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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: June 2002
First published: October 2012
Authors: Robert B. Jones
Dimensions: 235 x 155 x 9mm (L x W x T)
Format: Paperback
Pages: 151
Edition: Softcover reprint of the original 1st ed. 2002
ISBN-13: 978-1-4613-5395-9
Categories: Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 1-4613-5395-5
Barcode: 9781461353959

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Power System Analysis and Design, SI Edition (Paperback, 6th edition): J. Duncan Glover, Mulukutla Sarma, Thomas Overbye
Power System Analysis and Design, SI…
J. Duncan Glover, Mulukutla Sarma, … Paperback R1,365 R1,179 Discovery Miles 11 790
Eskom - Power, Politics And The (Post) Apartheid State (Paperback): Faeeza Ballim
Eskom - Power, Politics And The (Post…
Faeeza Ballim Paperback R280 R219 Discovery Miles 2 190
My Revision Notes: Building Services Engineering T Level (Paperback): Mike Jones, Stephen Jones, Tom Leahy
My Revision Notes: Building Services…
Mike Jones, Stephen Jones, … Paperback R623 Discovery Miles 6 230
Building Services Engineering for Construction T Level: Core (Paperback): Peter Tanner, Stephen Jones, Mike Jones, Tom Leahy,...
Building Services Engineering for…
Peter Tanner, Stephen Jones, … Paperback R1,334 Discovery Miles 13 340
The City & Guilds Textbook: Book 1 Electrical Installations, Second Edition: For the Level 3 Apprenticeships (5357 and 5393),...
The City & Guilds Textbook: Book 1…
Peter Tanner Paperback R1,344 Discovery Miles 13 440
The City & Guilds Textbook: Book 2 Electrical Installations, Second Edition: For the Level 3 Apprenticeships (5357 and 5393),...
The City & Guilds Textbook: Book 2…
Peter Tanner Paperback R1,352 Discovery Miles 13 520
Feedback Control of Dynamic Systems, Global Edition (Paperback, 8th edition): Gene Franklin, David Powell, Abbas Emami-Naeini
Feedback Control of Dynamic Systems…
Gene Franklin, David Powell, … Paperback R2,562 Discovery Miles 25 620
Guide to Electronic Wiring and Soldering Techniques (Paperback, 2nd illustrated edition): A.D. Jagobin
Guide to Electronic Wiring and Soldering…
A.D. Jagobin Paperback R276 Discovery Miles 2 760
Death of a Light Bulb (Paperback): John Otten
Death of a Light Bulb
John Otten Paperback R386 Discovery Miles 3 860
My Revision Notes: City & Guilds Level 2 Technical Certificate in Electrical Installation (8202-20) (Paperback): Peter Tanner
My Revision Notes: City & Guilds Level 2…
Peter Tanner Paperback R583 Discovery Miles 5 830
Electrical Machines, Drives and Power Systems - Pearson New International Edition (Paperback, 6th edition): Theodore Wildi
Electrical Machines, Drives and Power…
Theodore Wildi Paperback R2,612 Discovery Miles 26 120
Modern Control Systems, Global Edition (Paperback, 14th edition): Richard Dorf, Robert Bishop
Modern Control Systems, Global Edition
Richard Dorf, Robert Bishop Paperback R2,801 R2,554 Discovery Miles 25 540

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners