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, c1987

2nd ed

• : Wiley
• : Teubner

Note

Includes index

Details

• NCID: BA00417887
• ISBN:
  • 0471912824
  • 3519121018
• LCCN: 86019008
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stuttgart,Chichester [West Sussex] ; New York
• Pages/Volumes: ix, 230 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 005.1/4
• Subject Headings:
  • LCSH : Computer programs -- Verification
• Parent Bibliography ID:
  • BA00044644