Verification of Communication Protocols in Web Services : Model-Checking Service Compositions Sakib, Kazi Tari, Zahir Bertok, Peter 9780470905395 Wiley Series on Parallel and Distributed Computing Innbundet 06.12.2013 Engelsk I salg
