Formal specification techniques for engineering modular C programs

Author(s)

• Tan, Yang Meng

Bibliographic Information

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

Note

Bibliography: p. [205]-208

Includes index

Details

• NCID: BA26491251
• ISBN:
  • 0792396537
• LCCN: 95040529
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: xvi, 213 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.73.C15
  • DC20 : 005.13/3
• Subject Headings:
  • LCSH : C (Computer program language)
  • LCSH : Software engineering
• Parent Bibliography ID:
  • BA26491422