このページのリンク

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)
(Lecture notes in computer science ; 2335)

データ種別 図書
出版情報 Berlin : Springer , c2002
本文言語 英語
大きさ x, 399 p. : ill. ; 24 cm

所蔵情報を非表示

積層4層
549.92||L6||2335 9200214140
3540437037

書誌詳細を非表示

別書名 表紙タイトル:Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 2002 : proceedings
一般注記 Includes bibliographical references and index
著者標目  *International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)
Butler, Michael
Petre, Luigia
 Sere, K. (Kaisa), 1954-
分 類 LCC:QA76.9.F67
件 名 LCSH:Formal methods (Computer science) -- Congresses  全ての件名で検索
書誌ID BB00018355
ISBN 3540437037
NCID BA56887309