An introduction to the PL/CV2 programming logic

著者

• Constable, R. L. (Robert L.)
• Johnson, Scott D.
• Eichenlaub, C. D.

書誌事項

An introduction to the PL/CV2 programming logic

R.L. Constable, S.D. Johnson, C.D. Eichenlaub

（Lecture notes in computer science, 135）

Springer-Verlag, 1982

• : [gw]

注記

ISBN for [us]: 0387114920

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BD05175437
• ISBN:
  • 3540114920
• LCCN: 82184717
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: x, 292 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.73.P252
  • DC19 : 001.64/24
• 件名:
  • LCSH : PL/CV (Computer program language)
  • LCSH : Computer programs -- Verification
• 親書誌ID:
  • BA00009279