書誌事項

Formal specification and software development

Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews [et al.]

(Prentice-Hall International series in computer science)

Prentice-Hall International, c1982

大学図書館所蔵 件 / 14

この図書・雑誌をさがす

注記

Bibliography: p. 461-487

Includes index

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

詳細情報

ページトップへ