Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Kategorie:
Rok:
2007
Wydanie:
1
Wydawnictwo:
Springer-Verlag Berlin Heidelberg
Język:
english
Strony:
570
ISBN 10:
3540755950
ISBN 13:
9783540755951
Serie:
Lecture Notes in Computer Science 4762
Plik:
PDF, 6.10 MB
IPFS:
,
english, 2007
Pobranie tej książki jest niedostępne z powodu skargi złożonej przez właściciela praw autorskich