このページのリンク

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
(Lecture notes in computer science ; 873)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
本文言語 英語
大きさ xi, 723 p. : ill. ; 24 cm

所蔵情報を非表示

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

001693984

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 *International Symposium of Formal Methods Europe (2nd : 1994 : Barcelona, Spain)
Naftalin, Maurice, 1951-
Denvir, Tim
Bertran, Miquel
件 名 LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.76.D47
DC20:005.1/01/5113
巻冊次 : gw ; ISBN:3540585559 ; PRICE:DM134.00 REFWLINK
: us ; ISBN:0387585559 REFWLINK
ISBN 3540585559
NCID BA23607702 WCLINK
目次/あらすじ

 類似資料