Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs
Alagi&#263 S., Arbib M.A. — The Design of Well-Structured and Correct Programs



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: The Design of Well-Structured and Correct Programs

Авторы: Alagić S., Arbib M.A.

Аннотация:

This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are pro- vided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is nec- essary beyond the basic idea of a mathematical proof. A carefully chosen sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1991

Количество страниц: 292

Добавлена в каталог: 13.12.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Value substitution      160—161 259
Variable      5 72—73 259 273 263
Variable, declaration      72—73 259 267
Variable, declaration part      267
Variable, identifier      263
Variable, substitution      160—161 260
Variant      268
Variant, part      268
Variant, record      87
Vuillemin, J.      52 181 216
Weissman, C.      216
while-do, rule      39 279
while-do, statement      33—35 188 279 266
Wirth, N.      52 110 111 149 180 181 215 246 10
with, rule      87 279
with, statement      86—87 269
Word      63 76
WRITE      102 104—105
writeln      103
Writing into a file      77 89
Zimmerman, P.      111 149
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте