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