Compositional verification of concurrent and real-time systems

著者

• Juan, Eric Y.T.
• Tsai, Jeffrey J.-P

書誌事項

Compositional verification of concurrent and real-time systems

by Eric Y.T. Juan, Jeffrey J.P. Tsai

（The Kluwer international series in engineering and computer science, SECS 676）

Kluwer Academic Publishers, c2002

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA56709253
• ISBN:
  • 140207025X
• LCCN: 2002023653
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston
• ページ数/冊数: xvii, 196 p.
• 大きさ: 25 cm
• 分類:
  • DC21 : 004/.35
  • LCC : QA76.58 .J83
• 件名:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Real-time data processing
  • LCSH : Computer systems--Verification
• 親書誌ID:
  • BA0004729X