libcats.org
Главная

Automated Technology for Verification and Analysis, 5 conf., ATVA 2007

Обложка книги Automated Technology for Verification and Analysis, 5 conf., ATVA 2007

Automated Technology for Verification and Analysis, 5 conf., ATVA 2007

, , ,
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: