>> Google Books

Formal Methods for Eternal Networked Software Systems / Marco Bernardo, Valérie Issarny, Takeo Kanade, Josef Kittler

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2011
著者名:
ISBN:
9783642214547 [3642214541]
9783642214554 [364221455X]
書誌ID:
OB00494098
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Formal Methods for Eternal Networked Software Systems

Bernardo, Marco, Issarny, Val?rie, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
7 電子ブック Formal Methods for Computational Systems Biology

Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Formal Methods for Hardware Verification

Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo, Kittler, Josef

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

Liu, Zhiming, He, Jifeng, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Formal Methods for Performance Evaluation

Bernardo, Marco, Hillston, Jane, Hutchison, David, Kanade, Takeo, Kittler, Josef

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

Breitman, Karin, Cavalcanti, Ana, Kanade, Takeo, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Formal Methods for Mobile Computing

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco, …

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

Dong, Jin Song, Kanade, Takeo, Zhu, Huibiao, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Formal Methods for Industrial Critical Systems

Kowalewski, Stefan, Kanade, Takeo, Roveri, Marco, Kittler, Josef

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

Qin, Shengchao, Kanade, Takeo, Qiu, Zongyan, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Computational Systems Biology

Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi

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

Hutchison, David, Kanade, Takeo, Kittler, Josef, Taguchi, Kenji

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12