Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
1st ed. 2017
Book Details
Delivery Location
Delivery fee: Select location
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
Get Automated Technology for Verification and Analysis by Deepak D'Souza 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 482 pages.
Customers Who Bought This Also Bought
Artificial Intelligence on Dark Matter and Dark Energy
KSh 10,100.00
Intelligent Systems
KSh 30,950.00
Buhnentechnik
KSh 16,450.00
Introduction to Data Science
KSh 9,900.00
Computer Vision and SLDV for Structural Dynamics, 2026
KSh 19,800.00
Artificial Intelligence and Sustainable Management
KSh 22,500.00
Mathematical Algorithms for Educational Data Classification
KSh 18,700.00
Digitalization of Mechanical Systems
KSh 33,850.00
Artificial Intelligence and Sustainable Management
KSh 9,900.00
Bridging Physics and AI
KSh 13,300.00
Bridging Physics and AI
KSh 33,850.00
Modern Missile Guidance
KSh 33,850.00
More in This Genre
Artificial Intelligence on Dark Matter and Dark Energy
KSh 10,100.00
Intelligent Systems
KSh 30,950.00
Buhnentechnik
KSh 16,450.00
Introduction to Data Science
KSh 9,900.00
Computer Vision and SLDV for Structural Dynamics, 2026
KSh 19,800.00
Artificial Intelligence and Sustainable Management
KSh 22,500.00
