Proof and system-reliability

著者

• Schwichtenberg, Helmut
• Steinbrüggen, Ralf
• NATO Advanced Study Institute

書誌事項

Proof and system-reliability

edited by Helmut Schwichtenberg and Ralf Steinbrüggen

（NATO science series, II . Mathematics, physics and chemistry ; v. 62）

Kluwer Academic, c2002

• : pbk

注記

Includes bibliographical references

Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July - 5 August, 2001

詳細情報

• NII書誌ID(NCID): BA57066319
• ISBN:
  • 1402006071
  • 140200608X
• LCCN: 2002069525
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: xii, 415 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.76.R44 P76 2002
  • DC21 : 004
• 件名:
  • LCSH : Computer systems--Reliability
  • LCSH : Proof theory
• 親書誌ID:
  • BA40559140