Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings

書誌事項

Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings

edited by D. Bjørner

(Lecture notes in computer science, 86)

Springer-Verlag, 1980

  • : gw
  • : us

大学図書館所蔵 件 / 50

この図書・雑誌をさがす

注記

Sponsored by the Commission of the European Communities and others

Includes bibliographies

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

詳細情報

ページトップへ