>> 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.

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
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:
OB00494186
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

Najm, Elie, Donzeau-Gouge, Vaeronique, Donzeau-Gouge, V?ronique Vigui?, Kanade, Takeo, Pradat-Peyre, Jean-Franecois, …

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

FORTE 2005, Kanade, Takeo, Wang, Farn

Springer eBooks Computer Science, Springer Berlin / Heidelberg

FORTE 2005, Kanade, Takeo, Wang, Farn, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

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