Formal Methods in Standards

Name: Formal Methods in Standards
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540195771
Price: 52.83 EUR
Availability: InStock

A Report from the BCS Working Group

Автор: Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff

Език:

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

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

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

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

52.83 € 103.32 лв

This report was produced by the Formal Methods in Standards Working Group of the British Computer So...

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

Автор

Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff

Език

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

Корици

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

Издадена

1990

страници

135

EAN

9783540195771

ISBN

3540195777

Enbook ID

02172562

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

290

Размери

170 x 244 x 9

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

This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods in Standards

A Report from the BCS Working Group

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

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

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

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