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

SAT-Based Scalable Formal Verification Solutions (Paperback, Softcover reprint of hardcover 1st ed. 2007) Loot Price: R3,047
Discovery Miles 30 470
Repayment Terms: R286 pm x 12*
Add to cart
SAT-Based Scalable Formal Verification Solutions (Paperback, Softcover reprint of hardcover 1st ed. 2007): Malay Ganai, Aarti...

SAT-Based Scalable Formal Verification Solutions (Paperback, Softcover reprint of hardcover 1st ed. 2007)

Malay Ganai, Aarti Gupta

Series: Integrated Circuits and Systems

 (sign in to rate)
Loot Price R3,047 Discovery Miles 30 470 | Repayment Terms: R286 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Integrated Circuits and Systems
Release date: November 2010
First published: 2007
Authors: Malay Ganai • Aarti Gupta
Dimensions: 235 x 155 x 18mm (L x W x T)
Format: Paperback
Pages: 330
Edition: Softcover reprint of hardcover 1st ed. 2007
ISBN-13: 978-1-4419-4341-5
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
LSN: 1-4419-4341-2
Barcode: 9781441943415

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,312 R1,178 Discovery Miles 11 780
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 R592 Discovery Miles 5 920
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,271 Discovery Miles 12 710
Electrical and Magnetic Circuits (Hardcover): Konstantin K Kim
Electrical and Magnetic Circuits
Konstantin K Kim Hardcover R2,475 Discovery Miles 24 750
Requirements for Electrical Installations, IET Wiring Regulations, Eighteenth Edition, BS 7671:2018+A2:2022 (Paperback): The...
Requirements for Electrical…
The Institution of Engineering and Technology Paperback R3,210 Discovery Miles 32 100
Eskom - Power, Politics And The (Post) Apartheid State (Paperback): Faeeza Ballim
Eskom - Power, Politics And The (Post…
Faeeza Ballim Paperback R285 R148 Discovery Miles 1 480
Guide to Electronic Wiring and Soldering Techniques (Paperback, 2nd illustrated edition): A.D. Jagobin
Guide to Electronic Wiring and Soldering…
A.D. Jagobin Paperback R259 Discovery Miles 2 590
Death of a Light Bulb (Paperback): John Otten
Death of a Light Bulb
John Otten Paperback R363 Discovery Miles 3 630
A Comparison of the Kelvin Double Bridge and the Potentiometer Methods of Measuring Low Resistances (Hardcover): Stetfan Tanabe
A Comparison of the Kelvin Double Bridge…
Stetfan Tanabe Hardcover R791 Discovery Miles 7 910
Loki; the Life of Charles Proteus Steinmetz (Hardcover): Jonathan Norton 1903-1975 Leonard
Loki; the Life of Charles Proteus…
Jonathan Norton 1903-1975 Leonard Hardcover R863 Discovery Miles 8 630
Metamaterials and Metasurfaces - Basics and trends (Hardcover): Subal Kar
Metamaterials and Metasurfaces - Basics…
Subal Kar Hardcover R2,061 Discovery Miles 20 610
Modern Control Systems, Global Edition (Paperback, 14th edition): Richard Dorf, Robert Bishop
Modern Control Systems, Global Edition
Richard Dorf, Robert Bishop Paperback R2,514 Discovery Miles 25 140

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