Formal specification techniques for engineering modular C programs

書誌事項

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

大学図書館所蔵 件 / 10

この図書・雑誌をさがす

注記

Bibliography: p. [205]-208

Includes index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ