David de Frutos-Escrig, Manuel Núñes (eds.)
Berlin : Springer, c2004
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.08-L49-3235
|
10004017909 |
一般図書 |
|
|
|
|
2004
x, 375 p. : ill. ; 24 cm
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
FORTE [ International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1 ] [ Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1 International ] [ IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols ] [ FORTE '89 (1989 : Vancouver, B.C.) ] [ International Conference on Formal Description Techniques ] [ Formal Techniques for Networked and Distributed Systems ]
IFIP Working Group 6.1 [ I.F.I.P. W.G. 6.1 ] [ I.F.I.P. Working Group 6.1 ] [ IFIP WG 6.1 ] [ International Federation for Information Processing. Working Group 6.1 ]
LCC:QA76.9.F67
Formal methods (Computer science) -- Congresses
Electronic data processing -- Distributed processing -- Congresses
3540232524
BA68987515
