The temporal logic of reactive and concurrent systems
- 種類:
- 図書
- 責任表示:
- Zohar Manna, Amir Pnueli
- 出版情報:
- New York ; Tokyo : Springer-Verlag, c1992-
- 著者名:
- ISBN:
- 9780387976648 [0387976647] ([v. 1], Specification : us)
9783540976646 [3540976647] ([v. 1], Specification : gw) - 注記:
- Includes bibliographical references and index
類似資料:
|
Springer-Verlag |
McGraw-Hill Kogakusha |
|
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
|
Clarendon Press, Oxford University Press |
North-Holland |
|
Springer | |
|
Springer-Verlag |
Springer-Verlag |
|
Springer-Verlag |
Springer-Verlag |
