载入...
Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
| 主要作者: | |
|---|---|
| 格式: | Printed Book |
| 语言: | English |
| 出版: |
New Jersey
John Wiley & Sons
2008
|
| 主题: |
| Item Description: | |
|---|---|
| 实物描述: | xvi,231p |
| ISBN: | 9780471704492 |