Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

著者

• Workshop on Partial Order Methods in Verification ( : 1996 : Princeton University)
• Peled, Doron
• Pratt, Vaughan R.
• Holzmann, Gerard J.

書誌事項

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 29）

American Mathematical Society, c1997

注記

Includes bibliographical references

• NII書誌ID(NCID): BA30622932
• ISBN:
  • 0821805797
• LCCN: 96048739
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: xiv, 403 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA76.9.D5
  • DC21 : 005.2/76
• 件名:
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
  • LCSH : Computer software -- Verification -- Congresses
• 親書誌ID:
  • BA12282377