Zobacz książki o podobnej tematyce

Więcej informacji o Automated Technology for Verification and Analysis

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 147 punkty

Opis

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Software Engineering

• Pełny tytuł: Automated Technology for Verification and Analysis
• Podtytuł: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
• Autor: Chen Yu-Fang, Chih-Hong Cheng, Javier Esparza
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 552
• EAN: 9783030317836
• ID: 24520151
• Wydawca: Springer Nature Switzerland AG
• Waga: 854 g
• Wymiary: 235 × 155 × 31 mm
• Data wydania: 06. October 2019

---

---

---