Каталог "Книги"
| Книги
Доказателство правильности программ
Роберт Андерсон
27468
Детайли
- Издателство
- Мир
- Местоиздаване
- Москва
- Година на издаване
- 1982
- Страници
- 168 с.
- Класификационен индекс
-
УДК Значение 681.3.06 Програмиране. Езици за програмиране. Програмно осигуряване (Софтуер) - Ключови думи
- програмиране
Допълнителна информация
- Отрасъл
- Програмиране
- Системен №
- 24814
- Допълнителна сигнатура
- А 654
- Инвентаризация
-
Статус Брой Заемна I етаж (16171 - (З1) 2