Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Verification of communication protoc...
~
Bertók, Pé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 services
model-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
Bertók, Pé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
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000115118
電子館藏
1圖書
電子書
EB TK5105.88813 T186 2014
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
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
Processing
...
Change password
Login