富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 005.1/4)
該当件数:3件
オブジェクト指向ソフトウェアテスト技法 : リスク管理への技術的アプローチ / Shel Siegel著 : 古宮誠一, 廣田豊彦監訳
東京 : 共立出版 , 1999.1. - (bit別冊)
図書
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog
: New York,: Berlin. - New York : Springer-Verlag , c1991. - (Texts and monographs in computer science)
Software testing and evaluation / Richard A. DeMillo ... [et al.]
Menlo Park, Calif. : Tokyo : Benjamin/Cummings Pub. Co. , c1987