Help
Help
図書

FMICS'05 : proceedings of the tenth international workshop on formal methods for industrial critical systems : September 5-6, 2005 Lisbon, Portugal : co-located with ESEC/FSE'05. : FMICS workshop : Sep 2005, Lisbon, Portugal.

Icons representing 図書

FMICS'05 : proceedings of the tenth international workshop on formal methods for industrial critical systems : September 5-6, 2005 Lisbon, Portugal : co-located with ESEC/FSE'05. : FMICS workshop : Sep 2005, Lisbon, Portugal.

Call No. (NDL)
M17-06-1944
Bibliographic ID of National Diet Library
000008241055
Material type
図書
Author
Margaria-Steffen, Tiziana, 1964-ほか
Publisher
Association for Computing Machinery
Publication date
c2005.
Material Format
Paper
Capacity, size, etc.
viii, 144 p. : ill. ; 28 cm.
NDC
-
View All

Notes on use

Note (General)：

An abstract and 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
1595931481
Title
FMICS'05 : proceedings of the tenth international workshop on formal methods for industrial critical systems : September 5-6, 2005 Lisbon, Portugal : co-located with ESEC/FSE'05. : FMICS workshop : Sep 2005, Lisbon, Portugal.
Author Heading
Margaria-Steffen, Tiziana, 1964-
Massink, Mieke.
International Workshop on Formal Methods for Industrial Critical Systems (10th : 2005 : Lisbon, Portugal)
ESEC/FSE 2005 (2005 : Lisbon, Portugal)
Publication, Distribution, etc.
New York : Association for Computing Machinery
Publication Date
c2005.
Publication Date (W3CDTF)
2005
Extent
viii, 144 p. : ill. ; 28 cm.
Alternative Title
FMICS'05 : proceedings of the 10th international workshop on formal methods for industrial critical systems : September 5-6, 2005 Lisbon, Portugal : co-located with ESEC/FSE'05
FMICS'05: 10th int. workshop on formal methods for industrial critical systems Lisbon
Place of Publication (Country Code)
US