Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4346)

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany.

(Lecture Notes in Computer Science ; 4346)

Call No. (NDL): M17-07-1248
Bibliographic ID of National Diet Library: 000008558044

Material type: 図書

Author: Brim, Lubǒs.ほか

Publisher: Springer

Publication date: c2007.

Material Format: Paper

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

NDC: -

Notes on use

Note (General)：: Revised selected papers.

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: 9783540709510 (ISBN-13 : pbk.)
3540709517 (pbk.)
ISSN (series): 0302-9743
Title: Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany.
Series Title: Lecture Notes in Computer Science ; 4346
Author Heading: Brim, Lubǒs.
International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)
PDMC 2006 (2006 : Bonn, Germany)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2007.
Publication Date (W3CDTF): 2007
Extent: x, 361 p. : ill. ; 24 cm.
Alternative Title: FMICS/PDMC 2006
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Computer software -- Reliability -- Congresses.
LCC: QA76.9.F67
NDLC: M17
Note (General): Revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-07-1248
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008558044
http://id.ndl.go.jp/bib/000008558044
LC Control Number: 2007921124
https://lccn.loc.gov/2007921124
OCLC No.: 85770611
https://www.worldcat.org/oclc/85770611
Bibliographic Record Category (NDL): 215