Axiomatic proof techniques for parallel programs

Author(s)

• Owicki, Susan Speer

Bibliographic Information

Axiomatic proof techniques for parallel programs

Susan Speer Owicki

（Outstanding dissertations in the computer sciences）

Garland Pub., 1980

Note

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

Bibliography: p. 196-198

Details

• NCID: BA34937301
• ISBN:
  • 0824044134
• LCCN: 79050560
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: v, 198 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC : 001.6/42
• Subject Headings:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Computer programs -- Verification
• Parent Bibliography ID:
  • BA1154457X