Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

Författare
Zahir Tari
Språk
Engelska
Förlag År Ort Om boken ISBN
Wiley-IEEE Press 2014 Utgivningsland okänt / Ej specificerat, Hoboken