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

Your cart is empty

Books > Professional & Technical > Electronics & communications engineering

Buy Now

SAT-Based Scalable Formal Verification Solutions (Hardcover, 2007 ed.) Loot Price: R4,057
Discovery Miles 40 570
Repayment Terms: R380 pm x 12*
Add to cart
SAT-Based Scalable Formal Verification Solutions (Hardcover, 2007 ed.): Malay Ganai, Aarti Gupta

SAT-Based Scalable Formal Verification Solutions (Hardcover, 2007 ed.)

Malay Ganai, Aarti Gupta

Series: Integrated Circuits and Systems

 (sign in to rate)
Loot Price R4,057 Discovery Miles 40 570 | Repayment Terms: R380 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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: May 2007
First published: 2007
Authors: Malay Ganai • Aarti Gupta
Dimensions: 235 x 155 x 20mm (L x W x T)
Format: Hardcover
Pages: 330
Edition: 2007 ed.
ISBN-13: 978-0-387-69166-4
Categories: Books > Professional & Technical > Electronics & communications engineering > General
Promotions
LSN: 0-387-69166-9
Barcode: 9780387691664

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

Closing The Gap - The Fourth Industrial Revolution In Africa (Paperback): Tshilidzi Marwala
Closing The Gap - The Fourth Industrial…
Tshilidzi Marwala Paperback R559 Discovery Miles 5 590
Apple In China - The Capture Of The World's Greatest Company (Paperback): Patrick McGee
Apple In China - The Capture Of The…
Patrick McGee Paperback R437 Discovery Miles 4 370
Apple - The First 50 Years (Hardcover): David Pogue
Apple - The First 50 Years
David Pogue Hardcover R1,050 R725 Discovery Miles 7 250
Industrial Electronics N6 (Paperback):
Industrial Electronics N6
Paperback R399 Discovery Miles 3 990
Mechatronic Components - Roadmap to Design (Paperback): Emin Faruk Kececi
Mechatronic Components - Roadmap to…
Emin Faruk Kececi Paperback R2,819 Discovery Miles 28 190
Handbook of Electronic Assistive Technology (Paperback): Ladan Najafi, Donna Cowan
Handbook of Electronic Assistive…
Ladan Najafi, Donna Cowan Paperback R3,599 R3,361 Discovery Miles 33 610
Nonlinear Kalman Filter for Multi-Sensor Navigation of Unmanned Aerial Vehicles - Application to Guidance and Navigation of...
Nonlinear Kalman Filter for Multi-Sensor…
Jean-Philippe Condomines Hardcover R2,578 Discovery Miles 25 780
Advances in Imaging and Electron Physics, Volume 208 (Hardcover): Peter W. Hawkes
Advances in Imaging and Electron…
Peter W. Hawkes Hardcover R5,230 Discovery Miles 52 300
Advances in Imaging and Electron Physics, Volume 207 (Hardcover): Peter W. Hawkes
Advances in Imaging and Electron…
Peter W. Hawkes Hardcover R5,240 Discovery Miles 52 400
Silicon Photonics, Volume 99 (Hardcover): Chennupati Jagadish, Sebastian Lourdudoss, Ray T. Chen
Silicon Photonics, Volume 99
Chennupati Jagadish, Sebastian Lourdudoss, … Hardcover R5,217 Discovery Miles 52 170
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Amplifiers and Oscillators - Optimization by Simulation (Hardcover): Francois De Dieuleveult
Amplifiers and Oscillators…
Francois De Dieuleveult Hardcover R4,321 Discovery Miles 43 210

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