The foundations of program verification

Author(s)

• Loeckx, Jacques
• Sieber, Kurt
• Stansifer, Ryan D.

Bibliographic Information

The foundations of program verification

Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer

（Wiley-Teubner series in computer science）

B.G. Teubner , Wiley, c1984

• : Wiley
• : Teubner

Note

Bibliography: p. 222-226

Includes index

Details

• NCID: BA00044633
• ISBN:
  • 047190323X
  • 3519021013
• LCCN: 83016658
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stuttgart [Germany],Chichester; New York
• Pages/Volumes: ix, 230 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 001.64/2
• Subject Headings:
  • LCSH : Computer programs -- Verification
• Parent Bibliography ID:
  • BA00044644