Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 9783540600459
Price: 52.78 EUR
Availability: InStock

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Автор: Pierre Wolper

Език:

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

Издател: Springer, Berlin

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

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

52.78 € 103.24 лв

This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat...

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

Автор

Pierre Wolper

Език

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

Корици

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

Издадена

1995

страници

456

EAN

9783540600459

ISBN

3540600450

Enbook ID

05274476

Издател

Springer, Berlin

Теглоt

622

Размери

156 x 234 x 23

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

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

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

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

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

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