ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Verification )
該当件数:3件
Theoretical and practical aspects of SPIN model checking : 5th and 6th international SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 proceedings / Dennis Dams ... [et al.], (eds.).
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1680)
図書 [BA43719764]
Verification in economics and history : a sequel to 'scientifization' / O.F. Hamouda and B.B. Price.
London : Routledge , 1991.. - New York
図書 [BA12428199]
Induction, probability, and confirmation / edited by Grover Maxwell and Robert M. Anderson, Jr., for the Minnesota Center for Philosophy of Science
Minneapolis : University of Minnesota Press , c1975. - (Minnesota studies in the philosophy of science ; v. 6)
図書 [BA04525994]