Hardware and Software: Verification and Testing(English, Paperback, unknown) | Zipri.in
Hardware and Software: Verification and Testing(English, Paperback, unknown)

Hardware and Software: Verification and Testing(English, Paperback, unknown)

Quick Overview

Rs.4286 on FlipkartBuy
Product Price Comparison
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.