古本と中古自転車の現代屋

［古本］状態：並上

著者/訳者名 Ｄａｖｉｄ　Ｃ．Ｂｌａｃｋ／〔著〕　Ｊａｃｋ　Ｄｏｎｏｖａｎ／〔著〕　中西早苗／訳　河原林政道／監修　柿本勝／監修
出版社名 丸善 (ISBN：4-621-07727-9)
発行年月 2006年06月
20090909

ＳｙｓｔｅｍＣを使ったシステム設計の概要
ＴＬＭベース設計手法
ＳｙｓｔｅｍＣの概要
データタイプ
モジュール：ＳＣ＿ＭＯＤＵＬＥ
時間の概念
並列性：プロセスとイベント
基本チャネル
チャネルの評価と更新：ＳＣ＿ＳＩＧＮＡＬＳ
構造：設計階層
通信：ポート
ポートに関する更なるトピックス：特殊化ポートとｓｃ＿ｅｘｐｏｒｔ
カスタムチャネルとデータ：プリミティブチャネルと階層チャネル
上級者向けトピックス：クロック、クロック同期のスレッド、プログラム可能な階層、信号トレース、動的プロセス
その他のトピックス：性能、その他のヒント