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

Checkout
- Your Cart Price

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,398

Discovery Miles 43 980

Repayment Terms: R412 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,398 Discovery Miles 43 980 | Repayment Terms: R412 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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