logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions - Kazi Sakib, Zahir Tari, Peter Bertok
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
by: (author) (author) (author)
Format: ebook
ISBN: 9781118720134 (111872013X)
Publisher: John Wiley & Sons
Pages no: 272
Edition language: English
Bookstores:
Other editions (4)
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing) - Kazi Sakib, Zahir Tari, Peter Bertok
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions - Kazi Sakib, Zahir Tari, Peter Bertok
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions - Kazi Sakib, Zahir Tari, Peter Bertok
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions - Kazi Sakib, Zahir Tari, Peter Bertok
Books by Zahir Tari
Fundamentals of Distributed Object Systems: The CORBA Perspective - Zahir Tari, Omran Bukhres
Data and Application Security: Developments and Directions - B Thuraisingham, Reind Van de Riet, Klaus R Dittrich, Zahir Tari
On the Performance of Web Services - Zahir Tari, Ann Khoi Anh Phan, Malith Jayasinghe, Vidura Gamini Abhaya
On the Move to Meaningful Internet Syste... On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral ... Applications, incl. Internet/Web, and HCI) - Zahir Tari
On the Move to Meaningful Internet Systems: Otm 2008: Otm Confederated International Conferences, Coopis, DOA, Gada, Is, and Odbase 2008, Monterrey, Mexico, November 9-14, 2008 Proceedings, Part II - Robert Meersman, Zahir Tari
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing) - Kazi Sakib, Zahir Tari, Peter Bertok
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral ... Applications, incl. Internet/Web, and HCI) - Robert Meersman, Zahir Tari, Pilar Herrero
On the Move to Meaningful Internet Syste... On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE ... Applications, incl. Internet/Web, and HCI) - Zahir Tari
On the Move to Meaningful Internet Syste... On the Move to Meaningful Internet Systems 2008: OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, ... Part I (Lecture Notes in Computer Science) - Robert Meersman, Zahir Tari
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops - Zahir Tari
Books by Peter Bertok
Digital Enterprise Challenges: Life-Cycle Approach to Management and Production - George L Kovacs, Peter Bertok, Geza Haidegger
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing) - Kazi Sakib, Zahir Tari, Peter Bertok
Knowledge Based Hybrid Systems: Proceedings of the Ifip Tc5/Wg5.3/Ifac International Working Conference on Knowledge Based Hybrid Systems in Engineeri - Istvan Mezgar, Peter Bertok
Digital Enterprise Challenges: Life-Cycle Approach to Management and Production - Peter Bertok
Books by Kazi Sakib
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing) - Kazi Sakib, Zahir Tari, Peter Bertok
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.