Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

著者

書誌事項

Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

V.S. Alagar, Laks V.S. Lakshmanan and F. Sadri [editors]

(Workshops in computing)

Springer-Verlag, c1993

  • : Berlin

大学図書館所蔵 件 / 16

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

ページトップへ