FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

書誌事項

FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

J.C.P. Woodcock, P.G. Larsen (eds.)

(Lecture notes in computer science, 670)

Springer-Verlag, c1993

  • : us
  • : gw

タイトル別名

FME '93

大学図書館所蔵 件 / 51

この図書・雑誌をさがす

注記

Includes bibliographical references

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

詳細情報

ページトップへ