Verification of communication protocols in web services [electronic resource] : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.
2014
TK5105.88813 .M85 2014eb
Linked e-resources
Linked Resource
Online Access
Details
Title
Verification of communication protocols in web services [electronic resource] : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.
Author
Tari, Zahir.
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
Mukherjee, Anshuman.
Bertók, Péter, 1952-
Bertók, Péter, 1952-
Series
Wiley series on parallel and distributed computing ; 83
Available in Other Form
Verification of communication protocols in web services : model-checking service compositions.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources