>> Google Books

Formal Techniques for Networked and Distributed Systems - FORTE 2006 / Elie Najm, Vaeronique Donzeau-Gouge, Véronique Viguié Donzeau-Gouge, Takeo Kanade, Jean-Franecois Pradat-Peyre, Jean-François Pradat-Peyre, IFIP Working Group 6.1.

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2006
著者名:
Najm, Elie
Donzeau-Gouge, Vaeronique
Donzeau-Gouge, Véronique Viguié
Kanade, Takeo
Pradat-Peyre, Jean-Franecois
Pradat-Peyre, Jean-François
IFIP Working Group 6.1.
さらに 2 件
ISBN:
9783540462194 [3540462198]
9783540462200 [3540462201]
書誌ID:
OB00279057
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, …

Springer

FORTE 2005, Kanade, Takeo, Wang, Farn

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Derrick, John, Kanade, Takeo, Vain, Jüri, IFIP Working Group 6.1.

Springer eBooks Computer Science, Springer Berlin Heidelberg

FORTE, Hogrefe, Dieter, Leue, Stefan, IFIP Working Group 6.1

Chapman & Hall on behalf of the International Federation for Information Processing

FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1

Springer

Suzuki, Kenji, El-Fakih, Khaled, Higashino, Teruo, Kanade, Takeo, Yasumoto, Keiichi

Springer eBooks Computer Science, Springer Berlin Heidelberg

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12