IUKL Library

Verification of communication protocols in web services : (Record no. 240350)

000 -LEADER
fixed length control field 02086nam a2200433 i 4500
001 - CONTROL NUMBER
control field ebr10780707
003 - CONTROL NUMBER IDENTIFIER
control field CaPaEBR
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130520t20142014njua ob 001 0 eng|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9780470905395 (hardback)
International Standard Book Number 9781118720134 (e-book)
040 ## - CATALOGING SOURCE
Original cataloging agency CaPaEBR
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency CaPaEBR
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)868967216
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK5105.88813
Item number .M85 2014eb
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.6/2
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Tari, Zahir.
245 10 - TITLE STATEMENT
Title Verification of communication protocols in web services :
Remainder of title model-checking service compositions /
Statement of responsibility, etc Zahir Tari, Peter Bertok, Anshuman Mukherjee.
264 #1 -
-- Hoboken, New Jersey :
-- Wiley,
-- [2014]
-- �2014
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (272 pages) :
Other physical details illustrations.
336 ## -
-- text
-- rdacontent
337 ## -
-- computer
-- rdamedia
338 ## -
-- online resource
-- rdacarrier
490 0# - SERIES STATEMENT
Series statement Wiley series on parallel and distributed computing ;
Volume number/sequential designation 83
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc "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.
588 ## -
-- Description based on print version record.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Web services
General subdivision Testing.
Topical term or geographic name as entry element Computer network protocols.
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Mukherjee, Anshuman.
Personal name Bert�ok, P�eter,
Dates associated with a name 1952-
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading Tari, Zahir.
Title Verification of communication protocols in web services : model-checking service compositions.
Place, publisher, and date of publication Hoboken, New Jersey : Wiley, [2014]
Physical description xii, 256 pages
Series data for related item Wiley series on parallel and distributed computing ; 83
International Standard Book Number 9780470905395
Record control number (DLC)17745081
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ebrary.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://site.ebrary.com/lib/kliuc/Doc?id=10780707
Public note An electronic book accessible through the World Wide Web; click to view
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type E-book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Source of acquisition Date last seen Copy number Uniform Resource Identifier Price effective from Koha item type
            IUKL Library IUKL Library 2016-09-28 Access Dunia 2016-09-28 1 http://site.ebrary.com/lib/kliuc/Doc?id=10780707 2016-09-28 E-book
The Library's homepage is at http://library.iukl.edu.my/.