Formal techniques for networked and distributed systems--FORTE 2004
Subtitle: 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings
By: David de Frutos-Escrig, Manuel Núñez (eds.).
Contributors: Frutos-Escrig, David de.; Núñez, Manuel.
Series: Lecture notes in computer science -- 3235.
Publisher: Springer
Published: 2004
Place of publication: Berlin
Language: eng
Number of pages: 375
Subjects: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses
Genres: Congresses.
Other titles: FORTE 2004.; IFIP WG 6.1 international conference.
Notes: Includes bibliographical references and index.