Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут [!Э. Кнут], П. Радо ; Перевод с англ. Л.В. Шабанова ; Под ред. Ю.Г. Дадаева
Язык: русский.Выходные данные: М. : Мир, 1989Физическая характеристика: 115 с. ; 22 см.ISBN: 5-03-000487-4 Примечания: Перевод изд.: Computeraided specification techniques / J. Demetrovics, E. Knuth, P. Rado.Библиография: Библиогр.: с. 112-115 (76 назв.). Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 88-6/7110 (Просмотр полки(Открывается ниже)) | Доступно | 5564783-10 |
Перевод изд.: Computeraided specification techniques / J. Demetrovics, E. Knuth, P. Rado
Библиогр.: с. 112-115 (76 назв.)