FM 99 - Formal Methods

Name: FM 99 - Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540665885
Price: 116.04 EUR
Availability: InStock

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Автор: Jeannette M. Wing, Jim Woodcook, Jim Davies

Език:

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

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

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

Изпращаме след 13-18 дни

116.04 € 226.95 лв

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development...

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

Автор

Jeannette M. Wing, Jim Woodcook, Jim Davies

Език

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

Корици

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

Издадена

1999

страници

960

EAN

9783540665885

ISBN

9783540665885

Enbook ID

08908917

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

1419

Размери

156 x 234 x 48

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

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

FM 99 - Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

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

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

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

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