Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.
Produkt beskrivelse
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
Oplysninger om tilgængelighed
Vælg variant af e-bog i højre side, for at se tilgængelighedsoplysninger.
Detaljer
- ISBN13 9783540472384
- Udgivet 2006
- Forlag Springer
- Format Elektronisk medie
- Udgave 1
- Sprog Engelsk