|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002964050203316 |
|
|
Autore |
IFIP WG 6.1 International Conference : <25. ; : 2005 |
|
|
Titolo |
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference : Taipei. Taiwan, October 2-5, 2005 : proceedings / Farn Wang(Ed.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, copyr. 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XII, 558 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 3731 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Sistemi distribuiti - Congressi - Taipei - 20054 |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|