東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Verification of communication protoc...

Tari, Zahir.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Verification of communication protocols in web services/ Zahir 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 services - Testing. -
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118720103
ISBN:	9781118720134 (electronic bk.)

Verification of communication protocols in web services = model-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:

2148095
Web services
--Testing.

LC Class. No.: TK5105.88813

Dewey Class. No.: 004.62

Verification of communication protocols in web services = model-checking service compositions /
LDR:01343cmm a22003138a 4500 001 2003103
003 OCoLC
006 m o d
007 cr |||||||||||
008 151223s2014 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 893602
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 2148095
650 0 $a Computer network protocols. $3 560075
700 1 $a Mukherjee, Anshuman. $3 2148092
700 1 $a Bertók, Péter, $d 1952- $3 2148093
830 0 $a Wiley series on parallel and distributed computing ; $v 83. $3 2148094
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118720103