| Type |  Book |
| ชื่อเรื่อง | Formal techniques for networked and distributed systems-FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.) |
| ผู้แต่ง | FORTE 2002 (22nd : 2002 : Houston, Tex.) |
| ISBN | 3540001417 |
| พิมพลักษณ์ | Berlin : Springer, 2002 |
| รูปเล่ม | xi, 370 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer network protocols --Congresses [] |
| | Electronic data processing --Distributed processing --Congresses [] |
| | Formal methods (Computer science) --Congresses [] |