>> Google Books
Formal Approaches to Software Testing
フォーマット:
電子ブック
責任表示:
Brian Nielsen|Jens Grabowski
言語:
英語
出版情報:
[S.l.] : Springer Verlag, 2005
書誌ID:
ST12002890
ISBN:
9783540251095 [354025109X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
Springer eBooks 全学 学認対応
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Formal Methods in Software and Systems Modeling

Springer Verlag
7 電子ブック Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

KIT Scientific Publishing
2 電子ブック FM 2005: Formal Methods

Springer Verlag
8 電子ブック Formal Methods and Software Engineering

Springer Berlin Heidelberg
3 電子ブック Foundations of Software Science and Computational Structures

Springer Verlag
9 電子ブック Formal Methods and Software Engineering

Springer Berlin Heidelberg
4 電子ブック Foundations of Software Science and Computational Structures

Springer Verlag
10 電子ブック Hardware and Software: Verification and Testing

Springer Verlag
5 電子ブック Reliable Software Technology – Ada-Europe 2005

Springer Verlag
11 電子ブック Testing of Software and Communication Systems

Springer Berlin Heidelberg
6 電子ブック Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

KIT Scientific Publishing
12 図書 Systematic software testing

Craig, Rick D. (Rick David), 1955-, Jaskiel, Stefan P.

Artech House Publishers