Поиск
На сайте: 566853 статей, 285487 фото.

The Spin Model Checker: Primer and Reference Manual (книга)

The Spin Model Checker: Primer and Reference Manual
Автор: Gerard J. Holzmann
Gerald J. Holzmann
Оригинал издан: ????

«The Spin Model Checker: Primer and Reference Manual»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки