Enlarge

Verification of communication protocols in web services : model-checking service compositions

Zahir Tari

Publication Data

Title Verification of communication protocols in web services : model-checking service compositions
Author Zahir Tari
Contributors Péter Bertók, Anshuman Mukherjee
Publisher Wiley
Publication date 2014
Publication location Hoboken, New Jersey
Language English

Topics

Web services :: Testing
Computer network protocols

Catalogue Data

OBNB ID GBB382030
ISBN 10 0470905395
ISBN 13 9780470905395
Type BibliographicResource, Book
Dewey Classification 004.62

ISBD

P1053 xii, 256 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Verification of communication protocols in web services : model-checking service compositions by Zahir Tari. ISBN 9780470905395. Published by Wiley in 2014. Publication and catalogue information, links to buy online and reader comments.