図書

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.

Icons representing 図書

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.

Call No. (NDL)
M17-09-1577
Bibliographic ID of National Diet Library
000010084025
Material type
図書
Author
Hinchey, Michael G. (Michael Gerard) , 1969-ほか
Publisher
IEEE Computer Society
Publication date
c2007.
Material Format
Paper
Capacity, size, etc.
xi, 402 p. : ill. ; 28 cm.
NDC
-
View All

Notes on use

Note (General)：

Abstracts and papers.IEEE cat no P2884 (t.p. verso) , PR2884 (cover & spine) .

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
0769528848
9780769528847 (ISBN-13)
Title
Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.
Author Heading
Hinchey, Michael G. (Michael Gerard) , 1969-
Margaria-Steffen, Tiziana, 1964-
IEEE International Conference on Software Engineering and Formal Methods (5th : 2007 : London, England)
Publication, Distribution, etc.
Los Alamitos : IEEE Computer Society
Publication Date
c2007.
Publication Date (W3CDTF)
2007
Extent
xi, 402 p. : ill. ; 28 cm.
Alternative Title
5th IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007
Place of Publication (Country Code)
US