Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Name: Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Brand: Springer
SKU: 00000_00000_00000_00000
Price: 201.41 SGD
Availability: InStock

Wang, Chao/ Hachtel, Gary D./ Somenzi, Fabio

201.41 SGD

Member Price

181.27

English

Quantity:

Publisher

Springer

Publication Date

Aug 2006

ISBN

9780387341552

Pages

40 illus./186

Item Type

Book

Format

Hardcover

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

Your Cart

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Available to Order

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Recently Viewed Items

Related Products