Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings

Responsibility
David de Frutos-Escrig, Manuel Núñez, editors.
Imprint
Berlin ; New York : Springer, c2004.
Physical description
x, 375 p. : ill. ; 24 cm.
Series
Lecture notes in computer science 3235.

Browse related items

Start at call number:
Librarian view | Catkey: 5754485