FME '97 : industrial applications and strengthened foundations of formal methods : 4th International symposium : Sep 1997, Graz, Austria. (Lecture Notes in Computer Science ; 1313)

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International symposium : Sep 1997, Graz, Austria.

(Lecture Notes in Computer Science ; 1313)

Call No. (NDL): M17-00-0199
Bibliographic ID of National Diet Library: 000003509996

Material type: 図書

Author: Formal Methods Europe.

Publisher: Springer

Publication date: 1997.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Papers.Index term: formal methods ; FME ; industrial applications.BL shelfmark: 5180.185 vol 1313 1997.

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: 3540635335
ISSN: 0302-9743
Title: FME '97 : industrial applications and strengthened foundations of formal methods : 4th International symposium : Sep 1997, Graz, Austria.
Series Title: Lecture Notes in Computer Science ; 1313
Author Heading: Formal Methods Europe.
Publication, Distribution, etc.: Springer
Publication Date: 1997.
Publication Date (W3CDTF): 1997
Extent: v.
Alternative Title: formal methods ; FME ; industrial applications
NDLC: M17
M159
Note (General): Papers.
Index term: formal methods ; FME ; industrial applications.
BL shelfmark: 5180.185 vol 1313 1997.
Holding library: 国立国会図書館
Call No.: M17-00-0199
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003509996
http://id.ndl.go.jp/bib/000003509996
UKMARC No.: G05410010
Bibliographic Record Category (NDL): 215