libcats.org
Главная

Formal Methods: State of the Art and New Directions

Обложка книги Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

, ,

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.

Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.

This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.

The following website www.fmsand.info is associated with the book.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

0-FWLS

Автор:
Размер книги: 20 Kb

Последният койот

Автор:
Размер книги: 1.34 Mb

Oracle of the Tarot

Автор: , Автор:
Категория: Oracle
Размер книги: 226 Kb

Classification and biology

Автор:
Размер книги: 2.37 Mb

Do Blue Bedsheets Bring Babies?: The Truth Behind Old Wives' Tales

Автор:
Категория: science_books
Размер книги: 2.75 Mb

Dark Revelations

Автор:
Категория: fiction
Размер книги: 299 Kb

Geheim Van Erasmus, Het

Автор: , Автор:
Категория: fiction
Размер книги: 1.04 Mb