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 Frutos-EscrigDavid de
• Titolo autorizzato: Formal Techniques for Networked and Distributed Systems - FORTE 2004
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910144349203321
• Lo trovi qui: Univ. Federico II