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

>> Google Books

Software Engineering and Formal Methods / Manuel N???�}ez Steve Counsell

資料種別:: 電子ブック
出版情報:: Springer eBooks Computer Science
Springer International Publishing, 2014
著者名:: Steve Counsell, Manuel N???�}ez
ISBN:: 9783319050317 [3319050311]
9783319050324 [331905032X]
書誌ID:: OB00360253

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Software Engineering and Formal Methods Steve Counsell, Manuel NÃºÃ±ez, Núñez, Manuel SpringerLink Books - AutoHoldings, Springer International Publishing	7 電子ブック Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics Counsell, Steve, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
2 電子ブック Formal Methods for Industrial Critical Systems N??ez Springer eBooks Computer Science, Springer International Publishing	8 電子ブック Formal Methods and Software Engineering Butler Springer eBooks Computer Science, Springer International Publishing
3 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, N??ez, Manuel, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Software Engineering and Formal Methods Giannakopoulou Springer eBooks Computer Science, Springer International Publishing
4 電子ブック Formal Approaches to Software Testing and Runtime Verification Havelund, Klaus, Kanade, Takeo, N???�}ez, Manuel, Ro?�u, Grigore, Wolff, Burkhart Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Formal Methods and Software Engineering Duan Springer eBooks Computer Science, Springer International Publishing
5 電子ブック Testing of Software and Communication Systems N??ez, Manuel, Baker, Paul, Kanade, Takeo, Merayo, Mercedes G. Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Formal Methods and Software Engineering Liu, Zhiming, He, Jifeng, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Formal Approaches to Software Testing and Runtime Verification Havelund, Klaus, Kanade, Takeo, NÃºÃ±ez, Manuel, RoÅu, Grigore, Wolff, Burkhart SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Formal Methods and Software Engineering Liu, Shaoying, Araki, Keijiro, Kanade, Takeo, Maibaum, Tom Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12