このページのリンク

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
(Lecture notes in computer science ; 1313)

データ種別 図書
出版者 Berlin ; New York : Springer
出版年 c1997
本文言語 英語
大きさ xiii, 684 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.76:D47:I593:1997

002511957

書誌詳細を非表示

別書名 異なりアクセスタイトル:Industrial applications and strengthened foundations of formal methods
一般注記 Includes bibliographical references and index
著者標目 *International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria)
Fitzgerald, John, 1965-
Jones, Cliff B., 1944-
Lucas, Peter, 1955-
件 名 LCSH:System design -- Methodology -- Congresses  全ての件名で検索
LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.S88
LCC:QA76.76.D47
DC21:005.1/01/5113
巻冊次 : pbk ; ISBN:3540635335 REFWLINK
ISBN 3540635335
NCID BA32267015 WCLINK
目次/あらすじ

 類似資料