Verification of communication protocols in web services : : model-checking service compositions / / Zahir Tari, Peter Bertok, Anshuman Mukherjee.
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Saved in:
| : | |
|---|---|
| TeilnehmendeR: | |
| Place / Publishing House: | Hoboken, New Jersey : : Wiley,, [2014] 2014 |
| Year of Publication: | 2014 |
| Language: | English |
| Series: | Wiley series on parallel and distributed computing ;
83 |
| Online Access: | |
| Physical Description: | 1 online resource (272 pages) :; illustrations. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780470905395 (hardback) 9781118720134 |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Zahir Tari, Peter Bertok, Anshuman Mukherjee. |