Верификация автоматных программ / С. Э. Вельдер [и др.]
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Санкт-Петербург : Наука, Санкт-Петербургская издательская фирма , 2011 |
| Физические характеристики: |
242 с. : ил., табл. ; 23 см
|
| Язык: | Русский |
| Предмет: |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||