Model-Based Methodologies for Pervasive and Embedded Software | 東京工業大学附属図書館蔵書検索

>> Google Books

Model-Based Methodologies for Pervasive and Embedded Software / David; Kanade, Takeo; Kittler, Josef; Botterweck, Goetz Hutchison, Goetz Botterweck, Rita Suzana Maciel, Julia Rubin

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2013

著者名:

ISBN:

9783642382086 [3642382088]
9783642382093 [3642382096]

書誌ID:

OB00499745

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Model-Based Methodologies for Pervasive and Embedded Software Hutchison, David; Kanade, Takeo; Kittler, Josef; Botterweck, Goetz Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Software Composition Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Model Checking Software Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Hardware and Software: Verification and Testing Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software Botterweck, Goetz, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	9 電子ブック Fundamental Approaches to Software Engineering Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Search Based Software Engineering Hutchison, David, Kanade, Takeo, Kittler, Josef, Teixeira de Souza, Jerffeson SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Software Engineering for Resilient Systems Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Model Checking Software Hutchison, David, Kanade, Takeo, Kittler, Josef, Parker, David SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Coordination Models and Languages Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Models in Software Engineering Hutchison, David, Kanade, Takeo, Kienzle, Jörg, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Coordination Models and Languages Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12