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.
Thể loại:
Năm:
2007
In lần thứ:
1
Nhà xuát bản:
Springer-Verlag Berlin Heidelberg
Ngôn ngữ:
english
Trang:
570
ISBN 10:
3540755950
ISBN 13:
9783540755951
Loạt:
Lecture Notes in Computer Science 4762
File:
PDF, 6.10 MB
IPFS:
,
english, 2007
Không download được sách này bởi khiếu nại của đại diện pháp luật