libcats.org
Главная

Spin Model Checker

Обложка книги Spin Model Checker

Spin Model Checker

SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defectsin concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteenyears ago. The tool has been applied to everything from the verification of complex call processing software that isused in telephone exchanges, to the validation of intricate control software for interplanetary spacecraft.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Genki 1: An Integrated Course in Elementary Japanese 1

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Arthur C Clarke - The Next Tenants

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

Foundations of Differential Calculus

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

A course in calculus and real analysis

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

Calculus Bible online

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

Advanced calculus for applications

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

Elementary inequalities (problem book, Tutorial Text 1)

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