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 SizeFormat 
01_title.pdfAttached File327.72 kBAdobe PDFView/Open
02_certificate.pdf191.43 kBAdobe PDFView/Open
03_declaration.pdf90.42 kBAdobe PDFView/Open
04_acknowledgement.pdf92.36 kBAdobe PDFView/Open
05_abstract.pdf146.14 kBAdobe PDFView/Open
06_table of content.pdf175.2 kBAdobe PDFView/Open
07_list of figures.pdf229.67 kBAdobe PDFView/Open
08_list of tables.pdf97.39 kBAdobe PDFView/Open
09_list of algorithms.pdf235.96 kBAdobe PDFView/Open
10_chapter 1.pdf289.42 kBAdobe PDFView/Open
11_chapter 2.pdf560.9 kBAdobe PDFView/Open
12_chapter 3.pdf335.23 kBAdobe PDFView/Open
13_chapter 4.pdf591.34 kBAdobe PDFView/Open
14_chapter 5.pdf485.14 kBAdobe PDFView/Open
15_chapter 6.pdf505.71 kBAdobe PDFView/Open
16_chapter 6.pdf1.12 MBAdobe PDFView/Open
17_chapter 8.pdf795.4 kBAdobe PDFView/Open
18_references.pdf305.28 kBAdobe PDFView/Open
19_list of publications.pdf126.49 kBAdobe PDFView/Open
20_appendix.pdf1.28 MBAdobe PDFView/Open
80_recommendation.pdf458.69 kBAdobe PDFView/Open
Show full item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: