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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Рыжий, честный, влюбленный

Автор:
Категория: Сказка
Размер книги: 179 Kb

The willing wife

Автор:
Категория: Эротика, Секс
Размер книги: 319 Kb

The Customer Management Scorecard: Managing CRM for Profit

Автор: , Автор: , Автор:
Размер книги: 6.15 Mb

Aime Cesaire (Cambridge Studies in African and Caribbean Literature)

Автор:
Категория: Образование
Размер книги: 4.81 Mb

Das antike Theater (Beck Wissen)

Автор:
Размер книги: 4.94 Mb

Peacocke and Evans on Demonstrative Content

Автор:
Категория: fiction
Размер книги: 1.37 Mb

Collection] The Stories of Vladimir Nabokov

Автор:
Категория: fiction
Размер книги: 1.70 Mb