Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие / С.-Петерб. гос. ун-т, Мат.-мех. фак. ; [Сост. доц. И.П.Соловьев]
Другие варианты заглавия: : Машины абстрактных состояний (Машины Гуревича)Язык: русский.Выходные данные: СПб. : Изд-во СПбГУ, 1998Физическая характеристика: 29,[2] с. : схем. ; 20 см.Библиография: Библиогр. в конце кн. (16 назв.).Предметная рубрика - Тема: Абстрактные алгебры -- Руководства, пособия и т.п. для высшей школы | Абстрактные алгебры -- Учебные издания для высшей школы | Вычислительные системы -- Программирование -- Руководства, пособия и т.п. для высшей школы | Вычислительные системы -- Программирование -- Учебные издания для высшей школы | Машины абстрактных состояний -- Руководства, пособия и т.п. для высшей школы | Машины абстрактных состояний -- Учебные издания для высшей школы Другие классификации: В127я73-1 ; З973.202-018я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2000-4/1183 (Просмотр полки(Открывается ниже)) | 277 | Доступно | 29382 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2000-4/1183 (Просмотр полки(Открывается ниже)) | 277 | Доступно | 29383 |
Библиогр. в конце кн. (16 назв.)