ОСТАННІ НОВИНИ
| Бесплатное скачивание авторефератов |
| СКИДКА НА ДОСТАВКУ РАБОТ! |
| Увеличение числа диссертаций в базе |
| Снижение цен на доставку работ 2002-2008 годов |
| Доставка любых диссертаций из России и Украины |
ОСТАННІ ВІДГУКИ
Каталог / Фізико-математичні науки / Математичне та програмне забезпечення обчислювальних машин і систем
скачать файл:
- Назва:
- Абстрактные типы данных и частичная корректность программ Менц, Хельмут
- Альтернативное название:
- Abstract Data Types and Partial Correctness of Programs Menz, Helmut
- Кількість сторінок:
- 139
- ВНЗ:
- Москва
- Рік захисту:
- 1984
- Короткий опис:
- Менц, Хельмут.
Абстрактные типы данных и частичная корректность программ : диссертация ... кандидата физико-математических наук : 01.01.10. - Москва, 1984. - 139 с.
Оглавление диссертациикандидат физико-математических наук Менц, Хельмут
ВВЕДЕНИЕ. .V.V.
ГЛАВА. I. Последовательности операций и Дерево вызовов
ГЛАВА 2. Вопрос о динамической допустимости операции 23 ГЛА.ВА. 3. Вопрос о частичной корректности программ
ГЛАВА. 4. Языковая реализация клетки
ГЛАВА. 5. Реализация алгоритма верификации . ШО
ГЛАВА. 6. Возможные дальнейшие работы
- Список літератури:
- -
- Стоимость доставки:
- 650.00 руб
