An introduction to practical formal methods using temporal logic
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Chichester, West Sussex, U.K.
Wiley
2011.
|
| 主题: |
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Chichester, West Sussex, U.K.
Wiley
2011.
|
| 主题: |