Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
1st ed. 2015
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
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.
Get Hardware and Software: Verification and Testing by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Human-Computer Interaction: Users and Contexts
Ksh 8,100.00
Enterprise Architecture at Work
Ksh 13,500.00
Data Analysis with Python and PySpark
Ksh 9,200.00
Software Testing Automation
Ksh 28,800.00
Semantic Knowledge Modelling via Open Linked Ontologies
Ksh 25,200.00
Software Development, Design, and Coding
Ksh 9,900.00
