AHMED BOUAJJANI
Sortuj według:
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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....
Cena
261.99zł
Tania Książka
Zobacz książkę Kup książkę
Strona: 1 Do góry