Mendeley出力
＜図書＞
Semantics of sequential and parallel programs
| 責任表示 | Eike Best |
|---|---|
| シリーズ | Prentice-Hall International series in computer science |
| データ種別 | 図書 |
| 出版情報 | New York : Prentice Hall , 1996 |
| 本文言語 | 英語 |
| 大きさ | xi, 351 p. ; 24 cm |
| 概要 | Based on an in-depth study of the most widely-used methods for achieving correctness in program design, this book presents the formal semantics of sequential and parallel programs and emphasizes forma... relationships between different mathematical description techniques. Covers the semantics of sequential programs; sequential vs. parallel systems; control programs and Petri Nets; Operational semantics and fairness; programs with shared data; communicat ing programs ; proofs and solutions. For computer scientists and mathematicians. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
pbk. : alk. paper | 理系図3F 数理独自 | BEST/10/1 | 1996 |
|
023211996005066 |
|
書誌詳細
| 別書名 | 原タイトル:Semantik |
|---|---|
| 一般注記 | Includes bibliographical references and index |
| 著者標目 | *Best, Eike, 1951- |
| 統一書名標目 | Semantik |
| 件 名 | LCSH:Programming languages (Electronic computers) -- Semantics
全ての件名で検索
LCSH:Electronic digital computers -- Programming 全ての件名で検索 |
| 分 類 | LCC:QA76.6 DC20:005.13/1 |
| 書誌ID | 1001404608 |
| ISBN | 0134606434 |
| NCID | BA28986823 |
| 巻冊次 | pbk. : alk. paper ; ISBN:0134606434 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |