Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñes (eds.)
- 資料種別:
- 図書
- 出版情報:
- Berlin : Springer, c2004
- 形態:
- x, 375 p. ; 24 cm
- シリーズ名:
- Lecture notes in computer science ; 3235 <BA00009279>
- 著者名:
- ISBN:
- 9783540232520 [3540232524]
- 書誌ID:
- BA68987515
類似資料:
Chapman & Hall on behalf of the International Federation for Information Processing | |
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg | |
Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) | |
North-Holland, Distributors for the US and Canada, Elsevier Science Pub. Co. | |
North-Holland, Elsevier Science Pub. Co. [distributor] |