FM 2005: formal methods : international symposium of formal methods Europe : Newcastle, UK, July 18-22, 2005 : proceedings. : 13th international symposium on formal methods : FM 2005 conference : Jul 2005, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 3582)

FM 2005: formal methods : international symposium of formal methods Europe : Newcastle, UK, July 18-22, 2005 : proceedings. : 13th international symposium on formal methods : FM 2005 conference : Jul 2005, Newcastle upon Tyne, UK.

(Lecture Notes in Computer Science ; 3582)

Call No. (NDL): M17-05-1938
Bibliographic ID of National Diet Library: 000007871916

Material type: 図書

Author: University of Newcastle upon Tyne. Centre for Software Reliability.ほか

Publisher: Springer

Publication date: c2005.

Material Format: Paper

Capacity, size, etc.: xiv, 558 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract, papers and discussions.

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: 3540278826
9783540278825 (ISBN-13)
ISSN (series): 0302-9743
Title: FM 2005: formal methods : international symposium of formal methods Europe : Newcastle, UK, July 18-22, 2005 : proceedings. : 13th international symposium on formal methods : FM 2005 conference : Jul 2005, Newcastle upon Tyne, UK.
Series Title: Lecture Notes in Computer Science ; 3582
Author Heading: University of Newcastle upon Tyne. Centre for Software Reliability.
Formal Methods Europe.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2005.
Publication Date (W3CDTF): 2005
Extent: xiv, 558 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
NDLC: M17
Note (General): An abstract, papers and discussions.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-05-1938
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007871916
http://id.ndl.go.jp/bib/000007871916
Bibliographic Record Category (NDL): 215