| Type |  Book |
| ชื่อเรื่อง | 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 Nunez (ed.) |
| ผู้แต่ง | FORTE 2004 (2004 : Madrid, Spain) |
| ISBN | 3540232524 |
| พิมพลักษณ์ | Berlin : Springer, c2004 |
| รูปเล่ม | x, 375 : ill. : 24 cm |
| หัวเรื่อง | Computer network protocols --Congresses [] |
| | Electronic data processing --Distributed processing --Congresses [] |
| | Formal methods (Computer science) --Congresses [] |