Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

書誌事項

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)

(Lecture notes in computer science, 680)

Springer-Verlag, c1993

  • : us
  • : gw

大学図書館所蔵 件 / 60

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

ページトップへ