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,276
Discovery Miles 42 760
Repayment Terms: R401 pm x 12*
You Save: R427 (9%)
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)
List price R4,703 Loot Price R4,276 Discovery Miles 42 760 | Repayment Terms: R401 pm x 12* You Save R427 (9%)

Bookmark and Share

Expected to ship within 12 - 17 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
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 R560 Discovery Miles 5 600
Introduction To Communication Studies (Paperback):
Introduction To Communication Studies
Paperback R450 R396 Discovery Miles 3 960
Scary Smart - The Future Of Artificial Intelligence And How You Can Save Our World (Paperback): Mo Gawdat
Scary Smart - The Future Of Artificial…
Mo Gawdat Paperback R299 R234 Discovery Miles 2 340
Adex Optimized Adaptive Controllers and Systems - From Research to Industrial Practice (Hardcover, 2015 ed.): Juan M....
Adex Optimized Adaptive Controllers and…
Juan M. Martin-Sanchez, Jose Rodellar Hardcover R3,856 Discovery Miles 38 560
Signal Processing in Medicine and Biology - Emerging Trends in Research and Applications (Hardcover, 1st ed. 2020): Iyad Obeid,...
Signal Processing in Medicine and…
Iyad Obeid, Ivan Selesnick, … Hardcover R3,308 Discovery Miles 33 080
Closing The Gap - The Fourth Industrial Revolution In Africa (Paperback, Updated Edition): Tshilidzi Marwala
Closing The Gap - The Fourth Industrial…
Tshilidzi Marwala Paperback R240 R206 Discovery Miles 2 060
The stars in our eyes - Representations of the square kilometre array telescope in the South African media (Paperback): Michael...
The stars in our eyes - Representations…
Michael Gastrow Paperback R250 R195 Discovery Miles 1 950
LEGO Gadgets (Hardcover): Editors of Klutz
LEGO Gadgets
Editors of Klutz Hardcover  (4)
 R460 R385 Discovery Miles 3 850
Mbusiness: The Strategic Implications of Mobile Communications (Paperback): Stuart Barnes
Mbusiness: The Strategic Implications of…
Stuart Barnes Paperback R1,639 Discovery Miles 16 390
Introduction to Microlithography (Hardcover, 2nd Revised edition): Larry F. Thompson, C. Grant Willson, Murrae J. Bowden
Introduction to Microlithography
Larry F. Thompson, C. Grant Willson, … Hardcover R4,720 Discovery Miles 47 200
iPhone For Seniors For Dummies - Updated for iPhone 12 models and iOS 14 (Paperback, 10th Edition): Dwight Spivey
iPhone For Seniors For Dummies - Updated…
Dwight Spivey Paperback R665 R489 Discovery Miles 4 890
Control Systems Engineering (Paperback, 8th Edition, EMEA Edition): Norman S. Nise
Control Systems Engineering
Norman S. Nise Paperback R1,418 Discovery Miles 14 180

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