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を表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想