Model Checking Software | 東京工業大学附属図書館蔵書検索

>> Google Books

Model Checking Software / Jaime G. Carbonell, Jörg Siekmann, Stefan Edelkamp

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540733690 [3540733698]
9783540733706 [3540733701]

書誌ID:

OB00499696

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Model Checking Software Carbonell, Jaime G., Siekmann, J?rg Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック New Trends in Applied Artificial Intelligence Okuno, Hiroshi G., Ali, Moonis, Carbonell, Jaime G., Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Model Checking and Artificial Intelligence Edelkamp, Stefan, Lomuscio, Alessio, Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Cooperative Information Agents XII Carbonell, Jaime G., Siekmann, Jörg, Pechoucek, Michal, Polleres, Axel SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Model Checking and Artificial Intelligence Edelkamp, Stefan, Lomuscio, Alessio, Siekmann, J?rg Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Advances in Artificial Intelligence Kobti, Ziad, Carbonell, Jaime G., Siekmann, Jörg, Wu, Dan SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Anaphora: Analysis, Algorithms and Applications Branco, António, Carbonell, Jaime G., Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Text, Speech and Dialogue Carbonell, Jaime G., Siekmann, Jorg, Kopecek, Ivan, Pala, Karel SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Computational Discovery of Scientific Knowledge Carbonell, Jaime G., Siekmann, Jörg, Todorovski, Ljupco SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Model Checking Software Valmari, Antti, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
6 電子ブック Verification of Object-Oriented Software. The KeY Approach Beckert, Bernhard, Carbonell, Jaime G., Hähnle, Reiner, Schmitt, Peter H., Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Model Checking Software Havelund, Klaus, Kanade, Takeo, Majumdar, Rupak, Palsberg, Jens Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12