• Энгийн харагдац
• MARC харагдац
• ISBD харагдац

Данные в языках программирования: Абстракция и топология. Сборник статей/ Орчуулагч Агафонова В.Н.; Редактор Бабынина Л.Н.; - Орос Мир 1982 - 327



метод спецификации модулей программного обеспечения доказательство правильности представления данных теория решеток, типы данных и семантика

ISBN: 1050

Subjects--Index Terms: вычислительная техника абстракция типология ЭВМ