Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA
著者
書誌事項
Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA
IEEE Computer Society, c2006
- タイトル別名
-
Formal methods in computer aided design (FMCAD 06), San Jose, California USA, 12-16 November 2006
大学図書館所蔵 全1件
注記
"IEEE Computer Society Order Number P2707" -- T.p. verso
"Aarti Gupta, Panagiotis Manolios, chairs" -- p. viii
Includes bibliographical references and author index