このページのリンク

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.)
(Lecture notes in computer science ; 1051)

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

所蔵情報を非表示

書庫2階 QA:76.76:D47:I593:1996
3540609733 002099217

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *International Symposium of Formal Methods Europe (3rd : 1996 : Oxford, England)
Gaudel, M.-C. (Marie-Claude)
Woodcock, James
件 名 LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.76.D47
DC20:005.1/01/5113
巻冊次 ISBN:3540609733 REFWLINK
ISBN 3540609733
NCID BA27378822 WCLINK
目次/あらすじ

 類似資料