|
Verifying concurrent processes using temporal logic
Brent T. Hailpern
[目次]
- Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
「Nielsen BookData」より
|
書名 |
Verifying concurrent processes using temporal logic |
著作者等 |
Hailpern, Brent Tzion
Hailpern B.T.
Hailpern Brent T
|
シリーズ名 |
Lecture notes in computer science
|
出版元 |
Springer-Verlag |
刊行年月 |
1982 |
ページ数 |
viii, 208 p. |
大きさ |
25 cm |
ISBN |
0387112057
3540112057
|
NCID |
BA04909522
※クリックでCiNii Booksを表示
|
言語 |
英語 |
出版国 |
ドイツ |
この本を:
|
件が連想されています
|