Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings
著者
書誌事項
Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings
IEEE Computer Society, c2007
- タイトル別名
-
Seventh international conference on formal methods in computer-aided design (FMCAD 2007), Austin, Texas, USA, 11-14 November 2007
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"IEEE Computer Society Order Number P3023."--T. p. verso
"Jason Baumgartner, Mary Sheeran, chairs"--p. ix
Includes bibliographical references and author index