Книга
Тип экземпляра:
Книга
Верификация автоматных программ / Вельдер Сергей Эдуардович [и др.]; С.-Петерб. гос. ун-т информ. технологий, механики и оптики
Выходные данные: Санкт-Петербург: Наука, 2011Физическая характеристика: 242 с. илISBN:- 978-5-02-038160-5
| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код |
|---|---|---|---|---|---|
| Книга | Институт прикладной математики им. М.В. Келдыша | 004.4/В-31 | Доступно |
Библиогр.: с. 231-239.
Алф. указ.: с. 240-242