Verifying concurrent processes using temporal logic
- フォーマット:
- 図書
- 責任表示:
- Brent T. Hailpern
- 言語:
- 英語
- 出版情報:
- Berlin ; New York : Springer-Verlag, 1982
- 形態:
- viii, 208 p. : ill. ; 25 cm
- 著者名:
- Hailpern, Brent Tzion, 1955- <DA02820617>
- シリーズ名:
- Lecture notes in computer science ; 129 <BA00009279>
- 書誌ID:
- BA04909522
- ISBN:
- 9783540112051 [3540112057] (: gw)
9780387112053 [0387112057] (: us)
類似資料:
Cambridge University Press |
Springer-Verlag |
Springer-Verlag |
Prentice-Hall |
Garland Pub. |
Garland Pub. |
Blackwell Scientific |
Prentice Hall |
Van Nostrand Reinhold Co. |
Springer-Verlag |
B.G. Teubner, Wiley |
Computer Science Press |