Category - Non Fiction / Computers

Format - Hardcover

Condition - Like New

Listed - A year ago

Views - 4

Ships From - New Mexico

Est. Publication Date - Jul 2017

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...