Hardware and Software: Verification and Testing | 東京工業大学附属図書館蔵書検索

>> Google Books

Hardware and Software: Verification and Testing / David; Kanade, Takeo; Kittler, Josef Hutchison

資料種別:: 電子ブック
出版情報:: Springer eBooks Computer Science
Springer Berlin Heidelberg, 2013
著者名:: Hutchison, David; Kanade, Takeo; Kittler, Josef
ISBN:: 9783642396106 [3642396100]
9783642396113 [3642396119]
書誌ID:: OB00359965

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

主題:	Information Technology - Software Engineering
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Hardware and Software: Verification and Testing Hutchison, David; Kanade, Takeo; Kittler, Josef, Nahir, Amir, Vos, Tanja SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Formal Approaches to Software Testing Hutchison, David, Grabowski, Jens, Kanade, Takeo, Nielsen, Brian, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 電子ブック Hardware and Software: Verification and Testing Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Runtime Verification Hutchison, David, Kanade, Takeo, Khurshid, Sarfaz, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Hardware and Software: Verification and Testing Chockler, Hana, Hu, Alan J., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Hardware and Software: Verification and Testing Yorav, Karen, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Hardware and Software: Verification and Testing Hutchison, David, Kanade, Takeo, Lourenҫo, João, Shehory, Onn SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Hardware and Software: Verification and Testing Yorav, Karen, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Empirical Software Engineering and Verification Hutchison, David, Kanade, Takeo, Kittler, Josef, Nordio, Martin SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Software Composition Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Tools for Practical Software Verification Hutchison, David, Kanade, Takeo, Kittler, Josef, Nordio, Martin SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Hardware and Software: Verification and Testing Chockler, Hana, Hu, Alan J., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12