Mukherjee, Anshuman. <br/><br/>
Verification of communication protocols in web services :  model-checking service compositions / 
Anshuman Mukherjee, Zahir Tari, Peter Bertok. 
 - xii,256 p,:  .ill ;  23 cm 
 - Wiley series on parallel and distributed computing ;  83 .
 - Wiley series on parallel and distributed computing ;  83 .
<br/><br/> 'Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields'-- 
<br/><br/><label>ISBN: </label>9780470905395 (hardback)  RM414.58 0470905395 (hardback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Web services--Testing.<br/>Computer network protocols.