Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France
著者
書誌事項
Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France
IEEE Computer Society, c2003
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"IEEE Computer Society order number: PRO1923" -- T. p. verso
Includes bibliographical references and index
内容説明・目次
内容説明
These are the proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEOMCODE 2003)
「Nielsen BookData」 より