6th international workshop on specification and verification of component-based systems : SAVCBS 2007 : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.

Author: International Workshop on Specification and Verification of Component-Based Systems (2007 : Dubrovnik, Croatia)ほか

Notes on use

Note (General)：: Papers.Described as " (...) (SAVCBS 2007) , September 3-4, 2007, Cavtat near Dubrovnik, Croatia." -- first page of each paper.

Search by Bookstore

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: 9781605605777
Title: 6th international workshop on specification and verification of component-based systems : SAVCBS 2007 : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.
Author Heading: International Workshop on Specification and Verification of Component-Based Systems (2007 : Dubrovnik, Croatia)
ESEC/FSE 2007 (2007 : Dubrovnik, Croatia)
Publication, Distribution, etc.: New York : ACM
Publication Date: c2007.
Publication Date (W3CDTF): 2007
Extent: 89 p. : ill. ; 28 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Component software -- Congresses.
System design -- Congresses.
NDLC: M17
Note (General): Papers.
Described as " (...) (SAVCBS 2007) , September 3-4, 2007, Cavtat near Dubrovnik, Croatia." -- first page of each paper.
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: M17-09-1363
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010070514
http://id.ndl.go.jp/bib/000010070514
OCLC No.: 233818087
https://www.worldcat.org/oclc/233818087
Bibliographic Record Category (NDL): 215