Computer-aided verification of coordinating processes : the automata-theoretic approach

著者

• Kurshan, R. P.

書誌事項

Computer-aided verification of coordinating processes : the automata-theoretic approach

Robert P. Kurshan

Princeton University Press, c1994

注記

Includes bibliographical references (p. 241-262) and index

詳細情報

• NII書誌ID(NCID): BA25080171
• ISBN:
  • 0691034362
• LCCN: 94042672
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Princeton, N.J.
• ページ数/冊数: xii, 270 p.
• 大きさ: 24 cm
• 分類:
  • LCC : TS183.3
  • DC20 : 670.42
• 件名:
  • LCSH : Manufacturing processes -- Planning -- Data processing
  • LCSH : Computational complexity
  • LCSH : Expert systems (Computer science) -- Verification
  • LCSH : System design