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

• : Wiley
• : Teubner

注記

Bibliography: p. 222-226

Includes index

詳細情報

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