電子書籍・電子雑誌 図書

Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Icons representing 図書

Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Bibliographic ID of National Diet Library
1000000000278380
Material type
電子書籍・電子雑誌 図書
Author
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation.ほか
Publisher
-
Publication date
2006
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Holding issue:

(On: IEEE Electronic Library (IEL):Full Text)上記の所蔵情報には、コンテンツ提供元の最新状況が反映されていない場合があります。特定の巻号の閲覧可否はお問い合わせください。The availability of this title on platform databases may have been changed. Please contact us for present information.

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.

Digital

Material Type
電子書籍・電子雑誌
図書
ISBN
1-4244-0421-5
1-5090-9075-4
Publication Date
2006
Abbreviated Title
FORMAL METHODS & MODELS FOR CO-DESIGN, 2006 4TH IEEE/ACM INTERNATIONAL CONFERENCE ON
memocode
Text Language Code
eng
Target Audience
一般
Access Restrictions
国立国会図書館内限定公開