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

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

blank
blank
blank
Красота
blank
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science) (v. 2)
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science) (v. 2)



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



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


Название: Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science) (v. 2)

Аннотация:

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.


Язык: en

Рубрика: Computer science/

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

ed2k: ed2k stats

Издание: 1 edition

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
${MPL}_{\omega}$      92
Abstract syntax      105 241 365
ACP      203 303 314 333 341
Algebraic specification      147 300 339 341 363 395
Algebraic specification language      303 339
ALGRES      339
ASF      105 107 203 303 363
AUTOMATH      170
Bisimulation semantics      341
Black-box correctness      171
BMASF      363
Case studies and examples, 74283 four bit adder      173
Case studies and examples, alternating bit-protocol      324
Case studies and examples, BLISS      133
Case studies and examples, chess tournaments      8
Case studies and examples, gas station      143
Case studies and examples, landing control system      321
Case studies and examples, library desk      49
Case studies and examples, naturals and booleans      107 345 373
Case studies and examples, Norman's data base      205
Case studies and examples, parallel zero search      62
Case studies and examples, PCTE      99
Case studies and examples, POLAR      275
Case studies and examples, satellite tuner      132
Case studies and examples, simple language      108
Case studies and examples, SPESI      133
Case studies and examples, studio booking system      132
Case studies and examples, Swiss system      8
Case studies and examples, television      134
Case studies and examples, Timbuktu airport      322
Case studies and examples, TIPTOP      132
Case studies and examples, transit node      342 397
Case studies and examples, typechecker      108
Case studies and examples, vending machine      320
CCS      334
Church — Rosser      17
class      278
Class description      210 278
COLD      99 167 277 303 304
COLD-K      205 236 304
COLD-Static      303
Communication      165 314 352
Communication protocol      324
Concrete syntax      105 241
Data base      205
Design      167 156 343
design process      55 143 172
distributed systems      153
Environment generation      105
ERAE      15 127 129 165 341 395
examples      see “Case studies”
Fairness      55
Forest      30
Formalization process      16 129 143
Glass-box correctness      171
Hacking      30
Implementation freedom      179
Import relation      233 359
inheritance      277
Initial semantics      333
Knowledge transfer      24
Lambda calculus      168 237
Language definition formalism      105
LOTOS      334
MAL      5 30
Meta IV      333
Meta-environment      105
Methodology of language design      83 105 233 303 366
Modular implementation techniques      105
Modularisation      218 161 168 233
Module algebra      233 374
multiple inheritance      289
NYCE      46
Parallel programs      55
Parameterization      237
PLUSS      15 395 409
polar      233
Process algebra      203 303 314 333 341
Programming language semantics      105
PSFd      341
PSP/C      303
Rap      15 339
Requirements engineering      7 129
SDF      105 310
SMoLCS      334
State-based specifications      44 57 86 207 278
Streams of actions      143
Structured Common Sense      31
Temporal logic      15 89 360 399
tool support      24 36 105 140 246 300 303
Traditional object-oriented languages      279
Transformations      57 90 167 411
User-definable syntax      105
VDM      15 83 99 167 205
VVSL      83
Z      85 167
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте