Verification of communication protocols in web services [electronic resource] : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.
2014
TK5105.88813 .M85 2014eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Verification of communication protocols in web services [electronic resource] : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.
Author
ISBN
9781118720134 electronic book
Published
Hoboken, New Jersey : Wiley, [2014]
Copyright
©2014
Language
English
Description
1 online resource (272 pages) : illustrations.
Call Number
TK5105.88813 .M85 2014eb
Dewey Decimal Classification
004.6/2
Summary
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- Provided by publisher.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Series
Wiley series on parallel and distributed computing ; 83
Available in Other Form
Linked Resources
Record Appears in