SEFM 2004 : proceedings of the second international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China. : Sep 2004, Beijing, China.

• Material Type: 図書
• ISBN: 076952222X
• Title: SEFM 2004 : proceedings of the second international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China. : Sep 2004, Beijing, China.
• Author Heading: United Nations University. International Institute for Software Technology.; Peking University.; International Conference on Software Engineering and Formal Methods (2nd : 2004 : Beijing, China)
• Publication, Distribution, etc.: Los Alamitos : IEEE Computer Society Press
• Publication Date: c2004.
• Publication Date (W3CDTF): 2004
• Extent: xii, 428 p. : ill. ; 28 cm.
• Alternative Title: SEFM 2004 : proceedings of the 2nd international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China
• Place of Publication (Country Code): US
• Text Language Code: eng
• Subject Heading: Software engineering. -- Congresses.; Formal methods (Computer science) -- Congresses.
• NDLC: M17
• Note (General): Papers, discussions and an abstract.; IEEE cat no P2222.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-05-1920
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000007844520; http://id.ndl.go.jp/bib/000007844520
• LC Control Number: 2004109118; https://lccn.loc.gov/2004109118
• RLIN No.: MOHG56724909-B
• Bibliographic Record Category (NDL): 215