Practical Design Verification

Name: Practical Design Verification
SKU: 9780521859721
Price: 69.98 USD
Availability: InStock

Dhiraj K. Pradhan; Ian G. Harris

$155.00

$69.98

Adding to cart… The item has been added

Author

Dhiraj K. Pradhan; Ian G. Harris

Publish Date

2009-06-11

Book Type

Hardcover

Number of Pages

288

Publisher Name

ISBN-10

0521859727

ISBN-13

9780521859721

citemno

144934

SKU

9780521859721

Formal Verification of Control System Software

$67.00

$25.98

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics...

$67.00

$25.98

$67.00

$25.98

add to cart choose option

Computer-Aided Verification of Coordinating Proces…

$51.00

$34.98

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be...

$51.00

$34.98

$51.00

$34.98

add to cart choose option

Verified

$14.00

An indispensable guide for telling fact from fiction on the internet—often in less than 30 seconds.The internet brings information to our fingertips almost instantly. The result is that we often jump...

$14.00

add to cart choose option

Practical Design Verification

Dhiraj K. Pradhan; Ian G. Harris

You Might Also Like

Shop by Category

Recommended

About Us

More Information

Practical Design Verification

Dhiraj K. Pradhan; Ian G. Harris

You Might Also Like

Formal Verification of Control System Software

Computer-Aided Verification of Coordinating Proces…

Verified

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare