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 |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Wiley-IEEE Press | 2014 | Utgivningsland okänt / Ej specificerat, Hoboken |