Tari, Zahir. <br/><br/>
Verification of communication protocols in web services :  model-checking service compositions / 
Zahir Tari, Peter Bertok, Anshuman Mukherjee. 
 - 1 online resource (272 pages) :  illustrations. 
 - Wiley series on parallel and distributed computing ;  83 .
<br/><br/>Includes bibliographical references and index. 
<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>9781118720134 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Web services--Testing.<br/>Computer network protocols.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TK5105.88813  / .M85 2014eb 
<br/><br/><label>Dewey Class. No.: </label>004.6/2