|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990003323490203316 |
|
|
Autore |
IFIP WG 6.1 international conference : <29.; : 2009 |
|
|
Titolo |
Formal techniques for networked and distributed systems : 29th IFIP WG 6.1 international conference FORTE 2009 : Lisboa, Portugal, june 9-12, 2009 : proceedings / David Lee...[et al.](Eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, copyr. 2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
VI, 248 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 5522 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Sistemi distribuiti - Congressi - Lisboa - 2009 |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|