>> Google Books

Formal Approaches to Software Testing / Wolfgang Grieskamp, Takeo Kanade, Carsten Weise

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2006
著者名:
ISBN:
9783540344544 [3540344543]
9783540344551 [3540344551]
書誌ID:
OB00354199
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Formal Approaches to Software Testing

Grieskamp, Wolfgang, Kanade, Takeo, Weise, Carsten, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
7 電子ブック Testing Software and Systems

Nielsen, Weise, Carsten

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers

International Workshop on Formal Approaches to Testing of Software, Grieskamp, Wolfgang, Weise, Carsten

Springer
8 電子ブック 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
3 電子ブック Formal Approaches to Software Testing

Hutchison, David, Grabowski, Jens, Kanade, Takeo, Nielsen, Brian

Springer eBooks Computer Science, Springer Berlin / Heidelberg
9 電子ブック 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
4 電子ブック Formal Approaches to Software Testing

Hutchison, David, Grabowski, Jens, Kanade, Takeo, Nielsen, Brian, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
10 電子ブック Formal Aspects of Component Software

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Testing of Software and Communicating Systems

Petrenko, Alexandre, Grieskamp, Wolfgang, Kanade, Takeo, Tretmans, Jan, Veanes, Margus, International Federation for …

Springer eBooks Computer Science, Springer Berlin Heidelberg
11 電子ブック Software Engineering and Formal Methods

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Testing of Software and Communicating Systems

Petrenko, Alexandre, Grieskamp, Wolfgang, Kanade, Takeo, Tretmans, Jan, Veanes, Margus, International Federation for …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Formal Methods and Software Engineering

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12