rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Verification of communication protocols in web services
    sub title: model-checking service compositions
  name:
    name part: Mukherjee, Anshuman.
    role:
      role term: creator
  name:
    name part: Tari, Zahir.
  name:
    name part: Bertók, Péter
    name part: 1952-
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: nju
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    form: remote
    extent: 1 online resource.
  abstract: "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
  note: Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University.
  note: Includes bibliographical references and index.
  subject:
    topic: Web services
    topic: Testing
  subject:
    topic: Computer network protocols
  subject:
    topic: COMPUTERS / Computer Engineering
  classification: TK5105.88813
  classification: 004.6/2
  classification: COM059000
  related item:
    title info:
      title: Verification of communication protocols in web services
    name:
      name part: Mukherjee, Anshuman.
    origin info:
      publisher: Hoboken, New Jersey : Wiley, 2013
    identifier: (DLC) 2013011613
  related item:
    title info:
      title: Wiley series on parallel and distributed computing
  identifier: 9781118720134 (Adobe PDF)
  identifier: 111872013X (Adobe PDF)
  identifier: 9781118720233 (MobiPocket)
  identifier: 1118720237 (MobiPocket)
  identifier: 9780470905395 (hardback)
  identifier: 9781118720103
  identifier: 1118720105
  identifier: 0470905395
  identifier: 2013020437
  identifier: CL0500000519 Safari Books Online
  identifier: https://doi.org/10.1002/9781118720103
  record info:
    record content source: DLC
    record creation date: 130520
    record change date: 20170124070439.7
    record identifier: ocn844074308
    language of cataloging:
      language term: eng