Formal Methods for Model-Driven Engineering | 東京工業大学附属図書館蔵書検索

>> Google Books

Formal Methods for Model-Driven Engineering / David Hutchison, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2012

著者名:

ISBN:

9783642309816 [364230981X]
9783642309823 [3642309828]

書誌ID:

OB00356632

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Methods for Model-Driven Engineering Hutchison, David, Kanade, Takeo, Cortellessa, Vittorio, Pierantonio, Alfonso SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Formal Methods for Components and Objects Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Software Engineering and Formal Methods Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Formal Methods: Foundations and Applications Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Formal Methods and Software Engineering Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Formal Methods for Components and Objects 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 電子ブック FM 2012: Formal Methods Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Software Engineering and Formal Methods Hutchison, David, Kanade, Takeo, Hinchey, Mike, Holcombe, Mike SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Integrated Formal Methods Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック NASA Formal Methods Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Formal Methods for Industrial Critical Systems Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12