Teaching Formal Methods | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Teaching Formal Methods / Jeremy Gibbons, Takeo Kanade, José Nuno Oliveira, Josef Kittler, Jose Nuno Oliveira

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642049118 [3642049117]
9783642049125 [3642049125]

書誌ID:

OB00506100

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Teaching Formal Methods Gibbons, Jeremy, Kanade, Takeo, Oliveira, Jos? Nuno Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Web Services and Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Integrated Formal Methods Davies, Jim, Gibbons, Jeremy, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Integrated Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Integrated Formal Methods Davies, Jim, Gibbons, Jeremy, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Structured Object-Oriented Formal Language and Method Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Web Services and Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef, Kittler, Josef, Lohmann, Niels SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Formal Methods and Software Engineering Liu, Zhiming, He, Jifeng, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Integrated Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef, Kittler, Josef, Petre, Luigia SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Methods and Software Engineering Breitman, Karin, Cavalcanti, Ana, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック NASA Formal Methods Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Formal Methods and Software Engineering Dong, Jin Song, Kanade, Takeo, Zhu, Huibiao, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12