Integrated Formal Methods | 東京工業大学附属図書館蔵書検索

>> Google Books

Integrated Formal Methods / David; Kanade, Takeo; Kittler, Josef Hutchison, Josef Kittler, Luigia Petre

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2013

著者名:

ISBN:

9783642386121 [3642386121]
9783642386138 [364238613X]

書誌ID:

OB00497090

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Integrated Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック NASA Formal Methods Hutchison, David, Kanade, Takeo, Kittler, Josef, Person, Suzette SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック NASA Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック NASA Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef, Rungta, Neha, Venet, Arnaud SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Formal Methods: Foundations and Applications Hutchison, David, Kanade, Takeo, Kittler, Josef, Naumann, David SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Integrated Formal Methods Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Formal Methods and Software Engineering Hutchison, David, Kanade, Takeo, Kittler, Josef, Taguchi, Kenji SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Hutchison, David, Kanade, Takeo, Kittler, Josef, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Formal Methods for Performance Evaluation Bernardo, Marco, Hillston, Jane, Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Hutchison, David, Kanade, Takeo, Kittler, Josef, Steffen, Bernhard SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック FM 2012: Formal Methods Hutchison, David, Kanade, Takeo, Kittler, Josef, Mery, Dominique SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Integrated Formal Methods Méry, Dominique, Kanade, Takeo, Merz, Stephan, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12