Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University. model-checking service compositions /

Saved in:
Bibliographic Details
Main Author: Tari, Zahir (Author)
Other Authors: Bertok, Peter, 1952-, Mukherjee, Anshuman
Format: eBook
Language:English
Published: Hoboken, New Jersey : Wiley, [2014]
Series:Wiley series on parallel and distributed computing ; 83
Subjects:
Web services > Testing.
Computer network protocols.
Online Access:http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7748315
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 i 4500
001 001263857
005 20191218120215.0
006 m o d
007 cr||||||||||||
008 170118s2013 njua ob 001 eng d
952 |0 0  |1 0  |4 0  |7 1  |9 859842  |a ONLINE  |b ONLINE  |c EB  |d 2018-01-11  |l 0  |p B527095  |r 2018-02-01 00:00:00  |w 2018-02-01  |y ONLINE 
999 |c 534793  |d 534793 
010 |z 2013011613 (print) 
020 |a 9781118720103  |q electronic 
020 |a 9780470905395  |q hardback 
020 |a 0470905395  |q hardback 
040 |a CaBNVSL 
082 0 0 |a 004.6/2 
100 1 |a Tari, Zahir,  |e author. 
245 1 0 |a Verification of communication protocols in web services :  |b model-checking service compositions /  |c Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University.  |h [electronic resource] 
264 1 |a Hoboken, New Jersey :  |b Wiley,  |c [2014] 
264 2 |a [Piscataqay, New Jersey] :  |b IEEE Xplore,  |c [2013] 
300 |a 1 PDF (xii, 256 pages) :  |b illustrations (some color). 
490 1 |a Wiley series on parallel and distributed computing ;  |v 83 
650 0 |a Web services  |x Testing. 
650 0 |a Computer network protocols. 
700 1 |a Bertok, Peter,  |d 1952- 
700 1 |a Mukherjee, Anshuman. 
710 2 |a IEEE Xplore (Online Service),  |e distributor. 
710 2 |a Wiley,  |e publisher. 
830 0 |a Wiley series on parallel and distributed computing ;  |v 83 
856 4 2 |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7748315 
336 |a text  |2 rdacontent 
337 |a electronic  |2 isbdmedia 
338 |a online resource  |2 rdacarrier 
940 |a PILKL  |d PO 

Similar Items