Larch : languages and tools for formal specification

書誌事項

Larch : languages and tools for formal specification

John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.]

(Texts and monographs in computer science)

Springer-Verlag, c1993

  • : us
  • : gw

大学図書館所蔵 件 / 17

この図書・雑誌をさがす

注記

Includes bibliographical references (p. [230]-238) and index

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

詳細情報

ページトップへ