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

>> Google Books

Teaching Formal Methods / Jeremy Gibbons, Takeo Kanade, Jos? Nuno Oliveira

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642049118 [3642049117]
9783642049125 [3642049125]

書誌ID:

OB00355260

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Teaching Formal Methods Gibbons, Jeremy, Kanade, Takeo, Oliveira, José Nuno, Kittler, Josef, Nuno Oliveira, Jose SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Web Services and Formal Methods Hutchison, David, Kanade, Takeo 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 電子ブック Formal Methods for Components and Objects Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Integrated Formal Methods Davies, Jim, Gibbons, Jeremy, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Formal Methods: Foundations and Applications Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Formal Methods: Foundations and Applications Oliveira, Marcel Vin?cius Medeiros, Kanade, Takeo, Woodcock, Jim Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Software Engineering and Formal Methods Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Formal Methods: Foundations and Applications Oliveira, Marcel Vinícius Medeiros, Kanade, Takeo, Woodcock, Jim SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Methods and Software Engineering 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 Components and Objects Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12