Automated Technology for Verification and Analysis | 東京工業大学附属図書館蔵書検索

>> Google Books

Automated Technology for Verification and Analysis / Sungdeok (Steve) Cha, Jin-Young Choi, Takeo Kanade, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008

著者名:

Cha, Sungdeok (Steve)

Choi, Jin-Young

Viswanathan, Mahesh

さらに 1 件

ISBN:

9783540883869 [354088386X]
9783540883876 [3540883878]

書誌ID:

OB00353952

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Automated Technology for Verification and Analysis Cha, Sungdeok (Steve), Choi, Jin-Young, Kanade, Takeo, Kim, Moonzoo, Lee, Insup, Viswanathan, Mahesh SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Automated Technology for Verification and Analysis Bultan, Tevfik, Hsiung, Pao-Ann, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Automated Technology for Verification and Analysis Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Automated Technology for Verification and Analysis ATVA 2005, Kanade, Takeo, Peled, Doran, Tsay, Yih-Kuen Springer eBooks Computer Science, Springer Berlin / Heidelberg
3 電子ブック Automated Technology for Verification and Analysis Graf, Susanne, Kanade, Takeo, Zhang, Wenhui Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Automated Technology for Verification and Analysis Hutchison, David; Kanade, Takeo; Kittler, Josef, Kittler, Josef, Ogawa, Mizuhito SpringerLink Books - AutoHoldings, Springer International Publishing
4 電子ブック Automated Technology for Verification and Analysis Liu, Zhiming, Kanade, Takeo, Ravn, Anders P. Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Automated Technology for Verification and Analysis Graf, Susanne, Kanade, Takeo, Zhang, Wenhui, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Automated Technology for Verification and Analysis Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer International Publishing	11 電子ブック Automated Technology for Verification and Analysis Liu, Zhiming, Kanade, Takeo, Ravn, Anders P., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Automated Technology for Verification and Analysis Bouajjani, Ahmed, Chin, Wei-Ngan, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Automated Technology for Verification and Analysis Bouajjani, Ahmed, Chin, Wei-Ngan, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12