The IOTA programming system : a modular programming environment
著者
書誌事項
The IOTA programming system : a modular programming environment
(Lecture notes in computer science, 160)
Springer-Verlag, 1983
- : gw
- : us
- タイトル別名
-
IOTA programming system
大学図書館所蔵 件 / 全57件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [214]-217
内容説明・目次
目次
1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. Language processing.- 6. Verification system.- 7. Proof system.- 8. Supports for cooperative modular programming.- 9. Program development witht he IOTA system - KWIC example.
「Nielsen BookData」 より