Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642243714
Price: 59.36 EUR
Availability: InStock

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Автор: Tevfik Bultan, Pao-Ann Hsiung

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад в ограничено количество

Изпращаме след 11-15 дни

59.36 € 116.09 лв

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn...

Информация за книгата

Автор

Tevfik Bultan, Pao-Ann Hsiung

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

532

EAN

9783642243714

ISBN

3642243711

Enbook ID

01658982

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

764

Размери

155 x 235 x 30

Пълно описание

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.§The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също