Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Availability: OutOfStock
ISBN: 9783642156427

Autor: Ahmed Bouajjani
ISBN: 9783642156427
Wydawnictwo: Springer Verlag
Cena: brak ofert
Dostępność: niedostępna
Ostatnia aktualizacja: 19.02.2026

Brak aktualnych ofert w księgarniach.

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.