Normal view
MARC view
Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
1 месяц | Книгохранилище | 1-955707 (Browse shelf (Opens below)) | Available | 13820000587129 | ||
Выдается в читальный зал | Книгохранилище | 1-904797к 51 (Browse shelf (Opens below)) | 1 | Available | 13820000430022 |
Библиогр.: с. 377-399
Предм. указ.: с. 400-416
There are no comments on this title.