Верификация моделей программ: Model Checking: Монография: Пер. с англ./
| Главные авторы: | , , |
|---|---|
| Другие авторы: | , , , |
| Формат: | Книга |
| Публикация: |
М.:
МЦНМО
2002
|
| Предметы: | |
| Online-ссылка: | Перейти в каталог Библиотеки ТУСУР |
| Объем: | 416 с.: a-ил |
|---|---|
| Библиография: | Библиогр.: с. 377-399. -Предм. указ.: с. 400-416 |
| ISBN: | 5940570542 |