Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4916)

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany.

(Lecture Notes in Computer Science ; 4916)

Call No. (NDL): M17-08-1780
Bibliographic ID of National Diet Library: 000009423526

Material type: 図書

Author: Leue, Stefan.ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: x, 250 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and revised selected papers.

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: 9783540797067 (ISBN-13)
3540797068
ISSN (series): 0302-9743
Title: Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany.
Series Title: Lecture Notes in Computer Science ; 4916
Author Heading: Leue, Stefan.
Merino, Pedro.
International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, Germany)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: x, 250 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
LCC: QA76.9.F67
NDLC: M17
Note (General): Abstracts and revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-1780
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009423526
http://id.ndl.go.jp/bib/000009423526
LC Control Number: 2008926951
https://lccn.loc.gov/2008926951
OCLC No.: 227032564
https://www.worldcat.org/oclc/227032564
Bibliographic Record Category (NDL): 215