京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA76.9.F67)
該当件数:2件
Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2335)
図書
Formal specification : techniques and applications / Nimal Nissanke
London : Springer , c1999