Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/408130
Title: | Modeling and Verification of Web Services Using Recursive Composition Algebra |
Researcher: | Rai ,Gopal Narayan |
Guide(s): | Gangadharan ,G. R. And Ramasastri , A. Agrawal.,Arun |
Keywords: | Composition Computer Science Engineering and Technology Library Information and Science Verification (Logic) |
University: | University of Hyderabad |
Completed Date: | 2017 |
Abstract: | |
Pagination: | - |
URI: | http://hdl.handle.net/10603/408130 |
Appears in Departments: | Department of Computer & Information Sciences |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01_title.pdf | Attached File | 327.72 kB | Adobe PDF | View/Open |
02_certificate.pdf | 191.43 kB | Adobe PDF | View/Open | |
03_declaration.pdf | 90.42 kB | Adobe PDF | View/Open | |
04_acknowledgement.pdf | 92.36 kB | Adobe PDF | View/Open | |
05_abstract.pdf | 146.14 kB | Adobe PDF | View/Open | |
06_table of content.pdf | 175.2 kB | Adobe PDF | View/Open | |
07_list of figures.pdf | 229.67 kB | Adobe PDF | View/Open | |
08_list of tables.pdf | 97.39 kB | Adobe PDF | View/Open | |
09_list of algorithms.pdf | 235.96 kB | Adobe PDF | View/Open | |
10_chapter 1.pdf | 289.42 kB | Adobe PDF | View/Open | |
11_chapter 2.pdf | 560.9 kB | Adobe PDF | View/Open | |
12_chapter 3.pdf | 335.23 kB | Adobe PDF | View/Open | |
13_chapter 4.pdf | 591.34 kB | Adobe PDF | View/Open | |
14_chapter 5.pdf | 485.14 kB | Adobe PDF | View/Open | |
15_chapter 6.pdf | 505.71 kB | Adobe PDF | View/Open | |
16_chapter 6.pdf | 1.12 MB | Adobe PDF | View/Open | |
17_chapter 8.pdf | 795.4 kB | Adobe PDF | View/Open | |
18_references.pdf | 305.28 kB | Adobe PDF | View/Open | |
19_list of publications.pdf | 126.49 kB | Adobe PDF | View/Open | |
20_appendix.pdf | 1.28 MB | Adobe PDF | View/Open | |
80_recommendation.pdf | 458.69 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: