>> Google Books
所蔵情報QRコード

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2006
形態:
xii, 486 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4229 <BA00009279>
著者名:
ISBN:
9783540462194 [3540462198]
書誌ID:
BA78870376
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer

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

Springer

IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication …

Chapman & Hall

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

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

FORTE, Gotzhein, Reinhard, Bredereke, Jan, International Federation for Information Processing, IFIP TC 6/WG 6.1 …

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

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication …

Kluwer Academic Publishers

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