|
|
libcats.org
Formal Logical Methods for System Security and CorrectnessOrna Grumberg, Orna Grumberg, Tobias Nipkow, Christian PfallerThe 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
Скачать книгу бесплатно (pdf, 1.73 Mb)
Читать «Formal Logical Methods for System Security and Correctness» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Укрощенная страстьАвтор: Грегори ДжилКатегория: Исторические любовные романы
Размер книги: 1.05 Mb
Орхидеи. Выращивание в домашних условиях. Разведение и уходАвтор: Густав Шосер
Размер книги: 8.03 Mb
Оборудование для производства сахарных кондитерских изделий. Учеб. для сузовАвтор: Драгилев А.И.Категория: Промышленность транспорт электроника
Размер книги: 4.97 Mb
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15 conf., AAECC-15Автор: Marc Fossorier, Автор: Tom Hoeholdt, Автор: Alain PoliКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.08 Mb
Справочник по проектированию электроэнергетических системАвтор: Рокотян Сергей Сергеевич, Автор: Под редакцией С.С.Рокотяна, Автор: И.М.Шапиро. Авторы В.В.Ершевич, Автор: А.Н.Зейлигер, Автор: Г.А.Илларионов, Автор: Л.Я.Рудых, Автор: Д.Л.Файбисович, Автор: Р.М.Фришберг, Автор: Л.Д.Хабачев. И.М.Шапиро.Категория: Энергетика
Размер книги: 9.01 Mb
|
|
|