大葉大學圖書館 |

Language: English

Back

Verification of communication protoc...

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

Verification of communication protocols in web services[electronic resource] :model-checking service compositions /

Record Type:	Language materials, printed : Monograph/item
[NT 15000414]:	004.62
Title/Author:	Verification of communication protocols in web services : model-checking service compositions // Zahir Tari, Peter Bertok, Anshuman Mukherjee.
Author:	Tari, Zahir.
other author:	Mukherjee, Anshuman.
Published:	Hoboken, N.J. : : Wiley,, 2014.
Description:	1 online resource (xii, 258 p).
Subject:	Web services - Testing.
Subject:	Computer network protocols.
ISBN:	9781118720134 (electronic bk.)
ISBN:	111872013X (electronic bk.)
ISBN:	9781118720103 (electronic bk.)
ISBN:	1118720105 (electronic bk.)
[NT 15000229]:	"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118720103

Verification of communication protocols in web services[electronic resource] :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:

623850
Web services
--Testing.

LC Class. No.: TK5105.88813

Dewey Class. No.: 004.62

Verification of communication protocols in web services[electronic resource] :model-checking service compositions /
LDR:01343cam a22003138a 4500 001 437409
003 OCoLC
006 m o d
007 cr |||||||||||
008 160125s2014 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 510775
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 623850
650 0 $a Computer network protocols. $3 189621
700 1 $a Mukherjee, Anshuman. $3 623847
700 1 $a Bertók, Péter, $d 1952- $3 623848
830 0 $a Wiley series on parallel and distributed computing ; $v 83. $3 623849
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118720103

based on 0 review(s)

Multimedia

Multimedia file
http://onlinelibrary.wiley.com/book/10.1002/9781118720103

Reviews

Add a review and share your thoughts with other readers

Export

pickup library