Principles of the Spin Model Checker

Principles of the Spin Model Checker

Ben-Ari, Mordechai

     

бумажная книга

Продать эту книгу

Дата выхода: январь 2008
ISBN: 9781846287695
Объём: 216 страниц
Масса: 340 г
Размеры(В x Ш x Т), см: 24 x 16 x 2
Обложка: твёрдая

Каталог