Semantics of sequential and parallel programs
著者
書誌事項
Semantics of sequential and parallel programs
(Prentice-Hall International series in computer science)
Prentice Hall, 1996
- pbk. : alk. paper
- タイトル別名
-
Semantik
- 統一タイトル
-
Semantik
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book present formal semantics of sequential and parallel programs and emphasis formal relationships between different mathematical description techniquesl Providing a self-contained introduction to all the necessary mathematics, proofs are presented in a readable form which will appeal to the novice. It contains an in-depth study of the most-well-known and widely-used methods for achieving correctness in program design and presents all technical results at an adequate and easy to learn level. Case studies and exercises (some of them with solutions) help illustrate results.
目次
1. Introduction. 2. Basic Mathematical Concepts. 3. Semantics of Sequential Programs. 4. Sequential vs Parallel Systems. 5. Control Programs and Petri Nets. 6. Operational Semantics and Fairness. 7. Programs with Shared Data. 8. Communicating Programs. 9. Some Proofs and Solutions.
「Nielsen BookData」 より