FME '96 : industrial benefit and advances in formal methods : 3rd International symposium : Mar 1996, Oxford, UK. (Lecture Notes in Computer Science ; 1051)

FME '96 : industrial benefit and advances in formal methods : 3rd International symposium : Mar 1996, Oxford, UK.

(Lecture Notes in Computer Science ; 1051)

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

Material type: 図書

Author: Formal Methods Europe.

Publisher: Springer

Publication date: 1996.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Selected papers.Theme: The application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations.Index te...

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: 3540609733 (pbk)
Title: FME '96 : industrial benefit and advances in formal methods : 3rd International symposium : Mar 1996, Oxford, UK.
Series Title: Lecture Notes in Computer Science ; 1051
Author Heading: Formal Methods Europe.
Publication, Distribution, etc.: Springer
Publication Date: 1996.
Publication Date (W3CDTF): 1996
Extent: v.
Alternative Title: Theme: The application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations
industrial benefit ; FME ; formal methods
NDLC: M17
M159
Note (General): Selected papers.
Theme: The application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations.
Index term: industrial benefit ; FME ; formal methods.
BL shelfmark: 5180.185 vol 1051 1996.
Holding library: 国立国会図書館
Call No.: M17-00-0320
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510118
http://id.ndl.go.jp/bib/000003510118
UKMARC No.: G05000573
Bibliographic Record Category (NDL): 215