Зводны электронны каталог бібліятэк Магілёўскай вобласці
Прикладные методы верификации программ
Автор(ы): Непомнящий, Валерий Александрович;Рякин, Олег Михайлович;
Ершов, Андрей Петрович, математик, программист, 1931—1988Язык документа: Русский.Страна публикации: RU.Издательство: Москва : Радио и связь, 1988Физическая характеристика: 255, [1] с.ISBN:5-256-00156-6.ББК: 32.973.2-018Наименование темы, используемое как предмет: ВЕРЫФІКАЦЫЯ | ВЕРИФИКАЦИЯ
| Тип единицы | Местонахождение | Состояние |
|---|---|---|
 Книги, брошюры |
Могилевская областная библиотека. Отдел хранения основного фонда
|
Выдается |
+375 17 293 27 57
Нет никаких комментариев для этого документа.