Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

AvDeepak D'Souza,K. Narayan Kumar

Häftad, Engelska, 2017

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Lars Kepler - Medusa, Inbunden
  • Nyhet
Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Karolina Ramqvist - Nattsäsong, Inbunden
  • -19%

Nattsäsong

Karolina Ramqvist

Inbunden, 2026

215 kr265 kr