>> Google Books

Web Services and Formal Methods / Mario Bravetti, Takeo Kanade, Manuel Nau?nez, Manuel Núñez, Gianluigi Zavattaro

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2006
著者名:
ISBN:
9783540388623 [3540388621]
9783540388654 [3540388656]
書誌ID:
OB00508409
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Web Services and Formal Methods

Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, N??ez, Manuel, Zavattaro, Gianluigi

Springer eBooks Computer Science, Springer Berlin Heidelberg
7 電子ブック Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services …

Bravetti, Mario., Kloul, Leila., Zavattaro, Gianluigi., SpringerLink (Online service)
2 図書 Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

WS-FM, Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi

Springer
8 図書 Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services …

Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi

Springer
3 電子ブック Formal Techniques for Computer Systems and Business Processes

EPEW, Bravetti, Mario, Kanade, Takeo, Kloul, Le?la, Zavattaro, Gianluigi

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

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Formal Techniques for Computer Systems and Business Processes

EPEW, Bravetti, Mario, Kanade, Takeo, Kloul, Leïla, Zavattaro, Gianluigi

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

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Formal Methods for Web Services

Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi

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

Bravetti, Mario, Bultan, Tevfik, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Web Services

Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック CONCUR 2009 - Concurrency Theory

Bravetti, Mario, Kanade, Takeo, Zavattaro, Gianluigi

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