libcats.org
Главная

Formal Logical Methods for System Security and Correctness

Обложка книги Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

, , ,
The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences

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

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

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

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

Телефон

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

Vivos voco

Автор:
Категория: Поэзия
Размер книги: 4 Kb

Statistical Tools for Finance and Insurance, First Edition

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

Signal Red

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

Steve-O Professional Idiot- A Memoir

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

Los martillos de Ulric

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

TACK to the Rescue

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