The foundations of program verification

著者

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

書誌事項

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

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA00417887
• ISBN:
  • 0471912824
  • 3519121018
• LCCN: 86019008
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stuttgart,Chichester [West Sussex] ; New York
• ページ数/冊数: ix, 230 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 005.1/4
• 件名:
  • LCSH : Computer programs -- Verification
• 親書誌ID:
  • BA00044644