Temporal logic for real-time systems

著者

• Ostroff, Jonathan S.

書誌事項

Temporal logic for real-time systems

Jonathan S. Ostroff

（Advanced software development series, 1）

Research Studies Press , Wiley, c1989

• : Wiley

注記

Bibliography: p. 147-154

Includes index

詳細情報

• NII書誌ID(NCID): BA08000642
• ISBN:
  • 0863800866
  • 0471924024
• LCCN: 89004012
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Taunton, England,New York
• ページ数/冊数: xiii, 209 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.54
  • DC20 : 004/.33
• 件名:
  • LCSH : Real-time data processing
  • LCSH : Process control
  • LCSH : Discrete-time systems
• 親書誌ID:
  • BA08000722