Введение в теорию формального вывода программ / Валидов Ф. И. ; М-во общ. и проф. образования Рос. Федерации, М-во образования Респ. Татарстан, Ин-т экономики, упр. и права
Язык: русский.Выходные данные: Казань : Таглимат, 1999Физическая характеристика: 99 с. ; 21 см.Предметная рубрика - Тема: Программы (компьют.) Неконтролируемые предметные термины: Компьютеры персональные - Программное обеспечение | Математическая логикаУДК: 004.42, 3, rusДругие классификации: ( ) 50 ; ( ) 32.973.26-018 ; З973.2-018Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2001-4/10971 (Просмотр полки(Открывается ниже)) | 1199 | Доступно | 182234 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2001-4/10971 (Просмотр полки(Открывается ниже)) | 1199 | Доступно | 182235 |