Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign
Available in National Diet Library
Find on the publisher's website
DatabaseLinker (NDL E-Books and E-Journals)
Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 電子書籍・電子雑誌図書
- ISBN
- 1-4244-7885-51-4244-7886-3
- Author Heading
- Publication Date
- 2010
- Abbreviated Title
- FORMAL METHODS AND MODELS FOR CODESIGN
- Text Language Code
- eng
- Target Audience
- 一般
- Access Restrictions
- 国立国会図書館内限定公開