Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540646082
Price: 105.17 EUR
Availability: InStock

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Автор: Alan J. Hu, Moshe Y. Vardi

Език:

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

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

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

Изпращаме след 5-8 дни

105.17 € 205.70 лв

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided...

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

Автор

Alan J. Hu, Moshe Y. Vardi

Език

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

Корици

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

Издадена

1998

страници

552

EAN

9783540646082

ISBN

3540646086

Enbook ID

05274836

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

720

Размери

156 x 234 x 29

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

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

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

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

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

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