Program verification : fundamental issues in computer science
edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin
(Studies in cognitive systems, v. 14)
Kluwer Academic Press, 1993
大阪教育大学 附属図書館
005.14||PrB9400753
大阪工業大学 図書館 中央 007.63||P89610637 OPAC 岡山大学 附属図書館 工情報 007.6||PH019000024138* OPAC 神奈川大学 平塚図書館 OPAC 金沢学院大学 図書館 007.6||St||007.6 StY026352 OPAC 関西外国語大学 図書館 学術情報センター (中宮) 007/P9496-253 九州大学 理系図書館 007.64/C 53068252194000142 OPAC 東京工科大学 メディアセンター 007.64||P602579 東京大学 大学院情報理工学系研究科 CS図 HR:912012573545 OPAC 徳島大学 附属図書館 007.6||Pr019300414 名古屋大学 工学 図書室 工情報 007.63||C41082097 奈良先端科学技術大学院大学 附属図書館 AB||66||140022542 OPAC 日本大学 工学部図書館 図 007.63||P 94 CoE9401578 OPAC 広島市立大学 附属図書館 007.63PR0001244519 北陸先端科学技術大学院大学 附属図書館 図 C23.1/ P /1:5931084 OPAC 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Includes bibliographical references (p. 429-443) and indexes 関連文献: 1件中 1-1を表示 1 Studies in cognitive systems Kluwer Academic Publishers Tweet 詳細情報 NII書誌ID(NCID)BA19566077 ISBN0792319656 LCCN92026748 出版国コードne タイトル言語コードeng 本文言語コードeng 出版地Dordrecht ; Boston ページ数/冊数xiii, 457 p. 大きさ23 cm 分類 LCC : QA76.76.V47 DC20 : 005.1/4 件名 LCSH : Computer software -- Verification 親書誌IDBA04334781 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
大阪工業大学 図書館 中央
007.63||P89610637
OPAC
岡山大学 附属図書館 工情報
007.6||PH019000024138*
神奈川大学 平塚図書館
金沢学院大学 図書館
007.6||St||007.6 StY026352
関西外国語大学 図書館 学術情報センター (中宮)
007/P9496-253
九州大学 理系図書館 007.64/C 53068252194000142 OPAC 東京工科大学 メディアセンター 007.64||P602579 東京大学 大学院情報理工学系研究科 CS図 HR:912012573545 OPAC 徳島大学 附属図書館 007.6||Pr019300414 名古屋大学 工学 図書室 工情報 007.63||C41082097 奈良先端科学技術大学院大学 附属図書館 AB||66||140022542 OPAC 日本大学 工学部図書館 図 007.63||P 94 CoE9401578 OPAC 広島市立大学 附属図書館 007.63PR0001244519 北陸先端科学技術大学院大学 附属図書館 図 C23.1/ P /1:5931084 OPAC 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Includes bibliographical references (p. 429-443) and indexes 関連文献: 1件中 1-1を表示 1 Studies in cognitive systems Kluwer Academic Publishers Tweet 詳細情報 NII書誌ID(NCID)BA19566077 ISBN0792319656 LCCN92026748 出版国コードne タイトル言語コードeng 本文言語コードeng 出版地Dordrecht ; Boston ページ数/冊数xiii, 457 p. 大きさ23 cm 分類 LCC : QA76.76.V47 DC20 : 005.1/4 件名 LCSH : Computer software -- Verification 親書誌IDBA04334781 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
九州大学 理系図書館
007.64/C 53068252194000142
東京工科大学 メディアセンター
007.64||P602579
東京大学 大学院情報理工学系研究科 CS図 HR:912012573545 OPAC 徳島大学 附属図書館 007.6||Pr019300414 名古屋大学 工学 図書室 工情報 007.63||C41082097 奈良先端科学技術大学院大学 附属図書館 AB||66||140022542 OPAC 日本大学 工学部図書館 図 007.63||P 94 CoE9401578 OPAC 広島市立大学 附属図書館 007.63PR0001244519 北陸先端科学技術大学院大学 附属図書館 図 C23.1/ P /1:5931084 OPAC 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Includes bibliographical references (p. 429-443) and indexes 関連文献: 1件中 1-1を表示 1 Studies in cognitive systems Kluwer Academic Publishers Tweet 詳細情報 NII書誌ID(NCID)BA19566077 ISBN0792319656 LCCN92026748 出版国コードne タイトル言語コードeng 本文言語コードeng 出版地Dordrecht ; Boston ページ数/冊数xiii, 457 p. 大きさ23 cm 分類 LCC : QA76.76.V47 DC20 : 005.1/4 件名 LCSH : Computer software -- Verification 親書誌IDBA04334781 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ
東京大学 大学院情報理工学系研究科 CS図
HR:912012573545
徳島大学 附属図書館
007.6||Pr019300414
名古屋大学 工学 図書室 工情報 007.63||C41082097 奈良先端科学技術大学院大学 附属図書館 AB||66||140022542 OPAC 日本大学 工学部図書館 図 007.63||P 94 CoE9401578 OPAC 広島市立大学 附属図書館 007.63PR0001244519 北陸先端科学技術大学院大学 附属図書館 図 C23.1/ P /1:5931084 OPAC 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Includes bibliographical references (p. 429-443) and indexes 関連文献: 1件中 1-1を表示 1 Studies in cognitive systems Kluwer Academic Publishers Tweet 詳細情報 NII書誌ID(NCID)BA19566077 ISBN0792319656 LCCN92026748 出版国コードne タイトル言語コードeng 本文言語コードeng 出版地Dordrecht ; Boston ページ数/冊数xiii, 457 p. 大きさ23 cm 分類 LCC : QA76.76.V47 DC20 : 005.1/4 件名 LCSH : Computer software -- Verification 親書誌IDBA04334781 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ
名古屋大学 工学 図書室 工情報
007.63||C41082097
奈良先端科学技術大学院大学 附属図書館 AB||66||140022542 OPAC 日本大学 工学部図書館 図 007.63||P 94 CoE9401578 OPAC 広島市立大学 附属図書館 007.63PR0001244519 北陸先端科学技術大学院大学 附属図書館 図 C23.1/ P /1:5931084 OPAC 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Includes bibliographical references (p. 429-443) and indexes 関連文献: 1件中 1-1を表示 1 Studies in cognitive systems Kluwer Academic Publishers
奈良先端科学技術大学院大学 附属図書館
AB||66||140022542
日本大学 工学部図書館 図
007.63||P 94 CoE9401578
広島市立大学 附属図書館
007.63PR0001244519
北陸先端科学技術大学院大学 附属図書館 図 C23.1/ P /1:5931084 OPAC 該当する所蔵館はありません すべての絞り込み条件を解除する
北陸先端科学技術大学院大学 附属図書館 図
C23.1/ P /1:5931084
Includes bibliographical references (p. 429-443) and indexes
Kluwer Academic Publishers
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル