Category - Non Fiction / Computers

Format - Hardcover

Condition - Like New

Listed - 2 months ago

Ships From - New Mexico

Est. Publication Date - Jul 2017

Seller Description

Additional Information

Formal System Verification: State-Of the-Art and Future Trends

Publisher Description

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest devel...