The Imperative future : principles of executable temporal logic

著者

• Barringer, Howard

書誌事項

The Imperative future : principles of executable temporal logic

edited by Howard Barringer ... [et al.]

（Advanced software development series）

Research Studies Press , Wiley, c1996

• : Wiley
• : Research Studies

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA28580330
• ISBN:
  • 0471961302
  • 0863801900
• LCCN: 96013638
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Taunton, Somerset, England,New York
• ページ数/冊数: xv, 239 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.76.D47
  • DC20 : 005.13/3
• 件名:
  • LCSH : Computer software -- Development
  • LCSH : Programming languages (Electronic computers)
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA08000722