Vai al contenuto principale della pagina
Titolo: |
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úñez, editors
![]() |
Pubblicazione: | Springer Berlin / Heidelberg |
Soggetto topico: | Formal methods (Computer science) |
Electronic data processing - Distributed processing | |
Computer network protocols | |
Altri autori: |
NúñezManuel
![]() ![]() |
Titolo autorizzato: | Formal Techniques for Networked and Distributed Systems - FORTE 2004 ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465319403316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |