Automatic verification of programs with complex data structures

Author(s)

• 鈴木, 則久 スズキ, ノリヒサ

Bibliographic Information

Automatic verification of programs with complex data structures

Norihisa Suzuki

（Outstanding dissertations in the computer sciences）

Garland Pub., 1980

Note

Originally presented as the author's thesis, Stanford, 1976

Bibliography: p. 129-134

Details

• NCID: BA2607307X
• ISBN:
  • 0824044258
• LCCN: 79007311
• Country Code: us
• Title Language Code: eng
• Place of Publication: New York
• Pages/Volumes: 176 p.
• Size: 22 cm
• Classification:
  • LCC : QA76.6
  • DC : 001.6/425
• Subject Headings:
  • LCSH : Computer programs -- Verification
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Data structures (Computer science)
• Parent Bibliography ID:
  • BA1154457X