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
Pubbl/distr/stampa
Springer Berlin / Heidelberg
Altri autori (Persone)
NúñezManuel
Frutos-EscrigDavid de
Soggetti
Formal methods (Computer science)
Electronic data processing - Distributed processing