| Type |  Book |
| ชื่อเรื่อง | Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee |
| ผู้แต่ง | Tari, Zahir |
| ISBN | 9780470905395 (hardback) |
| รูปเล่ม | xii, 256 pages : illustrations ; 24 cm |
| หัวเรื่อง | Computer network protocols |
| | Computers / computer engineering |
| | Web services --Testing [] |