Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (2007) (Lecture Notes in Computer Science #4762)
By: and and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short 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.
- Copyright:
- 2007
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540755968
- Related ISBNs:
- 9783540755951
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 07/19/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Kedar Namjoshi
- Edited by:
- Tomohiro Yoneda
- Edited by:
- Teruo Higashino
- Edited by:
- Yoshio Okamura
Reviews
Other Books
- by Teruo Higashino
- by Kedar Namjoshi
- by Tomohiro Yoneda
- by Yoshio Okamura
- in Nonfiction
- in Computers and Internet