Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

書誌事項

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)

(Lecture notes in computer science, 5751)

Springer, c2009

タイトル別名

FMCO 2008

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

"State-of-the-Art Survey"--Cover

Includes bibliographical references and index

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

詳細情報

ページトップへ