このページのリンク

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
(Lecture notes in computer science ; 1708, 1709)

データ種別 図書
出版者 Berlin : Springer
出版年 c1999
本文言語 英語
大きさ 2 v. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:F67:W67:1999:v.1 v. 1 3540665870 002873307

書庫2階 QA:76.9:F67:W67:1999:v.2 v. 2 3540665889 002873235

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *World Congress on Formal Methods in the Development of Computing System (1st : 1999 : Toulouse, France)
Wing, Jeannette Marie
Woodcock, James
Davies, Jim, 1964-
件 名 LCSH:Formal methods (Computer science) -- Congresses  全ての件名で検索
LCSH:Application software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.F67
巻冊次 v. 1 ; ISBN:3540665870 REFWLINK
v. 2 ; ISBN:3540665889 REFWLINK
ISBN 3540665870
NCID BA43361015 WCLINK
目次/あらすじ

 類似資料