図書

8th international workshop on specification and verification of component-based systems 2009 : (SAVCBS 09) : Amsterdam, the Netherlands : 25 August 2009. : 8 workshop on specification and verification of component-based systems : Aug 2009, Amsterdam, the Netherlands.

Icons representing 図書

8th international workshop on specification and verification of component-based systems 2009 : (SAVCBS 09) : Amsterdam, the Netherlands : 25 August 2009. : 8 workshop on specification and verification of component-based systems : Aug 2009, Amsterdam, the Netherlands.

Call No. (NDL)
M17-10-1497
Bibliographic ID of National Diet Library
000010627949
Material type
図書
Author
Huisman, Marieke.ほか
Publisher
ACM
Publication date
c2009.
Material Format
Paper
Capacity, size, etc.
35 p. : ill. ; 28 cm.
NDC
-
View All

Notes on use

Note (General)：

Abstracts and papers.

Search by Bookstore

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.

Paper

Material Type
図書
ISBN
9781615675289
Title
8th international workshop on specification and verification of component-based systems 2009 : (SAVCBS 09) : Amsterdam, the Netherlands : 25 August 2009. : 8 workshop on specification and verification of component-based systems : Aug 2009, Amsterdam, the Netherlands.
Title Heading
ACM digital library (Livres) [ressource électronique]
ACM conference proceedings series.
Author Heading
Huisman, Marieke.
ACM Conference on Specification and Verification of Component-Based Systems (8th : 2009 : Amsterdam, Netherlands)
Publication, Distribution, etc.
New York : ACM
Publication Date
c2009.
Publication Date (W3CDTF)
2009
Extent
35 p. : ill. ; 28 cm.
Alternative Title
8th international workshop on specification and verification of component-based systems 2009 : (SAVCBS 2009) : Amsterdam, the Netherlands : 25 August 2009