ПОСЛЕДНИЕ НОВОСТИ
| Бесплатное скачивание авторефератов |
| СКИДКА НА ДОСТАВКУ РАБОТ! |
| Увеличение числа диссертаций в базе |
| Снижение цен на доставку работ 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 руб
