Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/408130
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.coverage.spatial | Computer Science | |
| dc.date.accessioned | 2022-09-28T10:32:02Z | - |
| dc.date.available | 2022-09-28T10:32:02Z | - |
| dc.identifier.uri | http://hdl.handle.net/10603/408130 | - |
| dc.description.abstract | ||
| dc.format.extent | - | |
| dc.language | English | |
| dc.relation | - | |
| dc.rights | university | |
| dc.title | Modeling and Verification of Web Services Using Recursive Composition Algebra | |
| dc.title.alternative | ||
| dc.creator.researcher | Rai ,Gopal Narayan | |
| dc.subject.keyword | Composition | |
| dc.subject.keyword | Computer Science | |
| dc.subject.keyword | Engineering and Technology | |
| dc.subject.keyword | Library Information and Science | |
| dc.subject.keyword | Verification (Logic) | |
| dc.description.note | ||
| dc.contributor.guide | Gangadharan ,G. R. And Ramasastri , A. Agrawal.,Arun | |
| dc.publisher.place | Hyderabad | |
| dc.publisher.university | University of Hyderabad | |
| dc.publisher.institution | Department of Computer and Information Sciences | |
| dc.date.registered | ||
| dc.date.completed | 2017 | |
| dc.date.awarded | ||
| dc.format.dimensions | - | |
| dc.format.accompanyingmaterial | DVD | |
| dc.type.degree | Ph.D. | |
| dc.source.inflibnet | INFLIBNET | |
| 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: