Jean-Francois Monin - Understanding Formal Methods [2003, PDF, ENG] torrent

Книги и журналы » Компьютерная литература

Understanding Formal Methods

Год издания: 2003
Автор: Jean-Francois Monin

Издательство: Springer
ISBN: 978-1-4471-0043-0
Язык: Английский

Формат: PDF
Качество: Распознанный текст без ошибок (OCR)
Интерактивное оглавление: Нет
Количество страниц: 287

Описание: This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
[spoiler="Примеры страниц"]

[/spoiler]