شماره ركورد
56925
شماره مدرك
4375084
نويسنده/تنالگان
Tari
عنوان
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
اطلاعات نشر
Wiley
سال نشر
2013
شابك
0470905395;111872013;9781118720103;1118720105;9781118720134;9780470905395
Link To Document