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 173 punkty

Opis

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer hardware Network hardware

• Pełny tytuł: Automated Technology for Verification and Analysis
• Podtytuł: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
• Autor: Ahmed Bouajjani, Wei-Ngan Chin
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 404
• EAN: 9783642156427
• ISBN: 3642156428
• ID: 01656599
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 624 g
• Wymiary: 239 × 327 × 28 mm
• Data wydania: 03. September 2010

Ulubione w innej kategorii

---

---

---