Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Book/E-Doc
Author Tari, Zahir.

Title Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.

Publication Info. Hoboken, New Jersey : Wiley, [2014]
2014

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (272 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Series Wiley series on parallel and distributed computing ; 83
Bibliography Includes bibliographical references and index.
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.
Note Description based on print version record.
Subject Web services -- Testing.
Computer network protocols.
Genre/Form Electronic books.
Added Author Mukherjee, Anshuman.
Bertok, Peter, 1952-
Other Form: Print version: Tari, Zahir. Verification of communication protocols in web services : model-checking service compositions. Hoboken, New Jersey : Wiley, [2014] xii, 256 pages Wiley series on parallel and distributed computing ; 83 9780470905395 (DLC)17745081
ISBN 9780470905395 (hardback)
9781118720134 (electronic bk.)

 
    
Available items only