Formal Specification

Name: Formal Specification
Brand: Springer, Berlin
SKU: 9781852330026
Price: 51.78 EUR
Availability: InStock

Techniques and Applications

Автор: Nimal Nissanke

Език:

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

Издател: Springer, Berlin

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

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

51.78 € 101.28 лв

Formal Specification provides the reader with a practical and versatile approach to constructing pro...

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

Автор

Nimal Nissanke

Език

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

Корици

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

Издадена

1999

страници

295

EAN

9781852330026

ISBN

1852330023

Enbook ID

06798524

Издател

Springer, Berlin

Теглоt

488

Размери

156 x 234 x 16

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

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Formal Specification

Techniques and Applications

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

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

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

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