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

• Record Nr.: UNINA9910144349203321
• Pubbl/distr/stampa: Springer Berlin / Heidelberg
• Altri autori (Persone): NúñezManuel; Frutos-EscrigDavid de
• Soggetti: Formal methods (Computer science); Electronic data processing - Distributed processing; Computer network protocols
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia