國立高雄大學圖資館 |

Language: English

Back

Verification of communication protoc...

Bertók, Péter, (1952-)

Verification of communication protocols in web servicesmodel-checking service compositions /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Verification of communication protocols in web servicesZahir Tari, Peter Bertok, Anshuman Mukherjee.
Reminder of title:	model-checking service compositions /
Author:	Tari, Zahir.
other author:	Mukherjee, Anshuman.
Published:	Hoboken, N.J. :Wiley,2014.
Description:	1 online resource (xii, 258 p).
Subject:	Web servicesTesting.
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118720103
ISBN:	9781118720134 (electronic bk.)

Verification of communication protocols in web servicesmodel-checking service compositions /
Tari, Zahir.

Verification of communication protocols in web servicesmodel-checking service compositions /[electronic resource] :Zahir Tari, Peter Bertok, Anshuman Mukherjee. - Hoboken, N.J. :Wiley,2014. - 1 online resource (xii, 258 p). - Wiley series on parallel and distributed computing ;83. - Wiley series on parallel and distributed computing ;83..

"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--

ISBN: 9781118720134 (electronic bk.)

LCCN: 2013020437Subjects--Topical Terms:

722253
Web services
--Testing.

LC Class. No.: TK5105.88813

Dewey Class. No.: 004.62

Verification of communication protocols in web servicesmodel-checking service compositions /
LDR:01343cmm a22003138a 4500 001 467392
003 OCoLC
006 m o d
007 cr |||||||||||
008 160107s2014 nju o 000 0 eng
010 $a 2013020437
020 $a 9781118720134 (electronic bk.)
020 $a 111872013X (electronic bk.)
020 $a 9781118720103 (electronic bk.)
020 $a 1118720105 (electronic bk.)
020 $z 9781118720233
020 $z 1118720237
020 $z 9780470905395 (hardback)
035 $a (OCoLC)844074308
035 $a ocn844074308
040 $a DLC $b eng $c DLC $d OCLCO $d N $d CUS $d OCLCO
050 1 0 $a TK5105.88813
082 0 0 $a 004.62 $2 23
100 1 $a Tari, Zahir. $3 280178
245 1 0 $a Verification of communication protocols in web services $h [electronic resource] : $b model-checking service compositions / $c Zahir Tari, Peter Bertok, Anshuman Mukherjee.
260 $a Hoboken, N.J. : $b Wiley, $c 2014.
300 $a 1 online resource (xii, 258 p).
490 1 $a Wiley series on parallel and distributed computing ; $v 83
520 $a "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- $c Provided by publisher.
588 $a Description based on online resource; title from PDF title page (Wiley, viewed November 7, 2013)
650 0 $a Web services $x Testing. $3 722253
650 0 $a Computer network protocols. $3 184436
700 1 $a Mukherjee, Anshuman. $3 722250
700 1 $a Bertók, Péter, $d 1952- $3 722251
830 0 $a Wiley series on parallel and distributed computing ; $v 83. $3 722252
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118720103