Axiomatic proof techniques for parallel programs

著者

• Owicki, Susan Speer

書誌事項

Axiomatic proof techniques for parallel programs

Susan Speer Owicki

（Outstanding dissertations in the computer sciences）

Garland Pub., 1980

注記

Originally presented as the author's thesis, Cornell University, 1975

Bibliography: p. 196-198

詳細情報

• NII書誌ID(NCID): BA34937301
• ISBN:
  • 0824044134
• LCCN: 79050560
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: v, 198 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC : 001.6/42
• 件名:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Computer programs -- Verification
• 親書誌ID:
  • BA1154457X