Formal specification techniques for engineering modular C programs

著者

• Tan, Yang Meng

書誌事項

Formal specification techniques for engineering modular C programs

Tan Yang Meng ; foreword by John Guttag

（The Kluwer international series in software engineering, 1）

Kluwer Academic, c1996

注記

Bibliography: p. [205]-208

Includes index

• NII書誌ID(NCID): BA26491251
• ISBN:
  • 0792396537
• LCCN: 95040529
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston
• ページ数/冊数: xvi, 213 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.73.C15
  • DC20 : 005.13/3
• 件名:
  • LCSH : C (Computer program language)
  • LCSH : Software engineering
• 親書誌ID:
  • BA26491422