テンポラル・ロジック
出典: くみこみックス
版間での差分
M (1 版) |
最新版
テンポラル・ロジック【Temporal Logic】
【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.
関連項目
- 時相論理(同義語)
M (1 版) |
テンポラル・ロジック【Temporal Logic】
【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.