عنوان

Verification of communication protocols in web services :

9780470905395

dltt

Verification of communication protocols in web services :

[Book]

model-checking service compositions /

Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University

1 online resource (1 volume) :

illustrations

Wiley series on parallel and distributed computing ;

Includes bibliographical references and index

Safari Books Online

CL0500000519

Verification of communication protocols in web services.

9780470905395

Computer network protocols

Web services-- Testing

TK5105

88813

Tari, Zahir

Bertók, Péter,1952-

Mukherjee, Anshuman

IEEE Computer Society

Institute of Electrical and Electronics Engineers

Ohio Library and Information Network

20150106124455.0

[Book]