Modeling and Verification of Web Services Using Recursive Composition Algebra

Simple item page
dc.contributor.guideGangadharan ,G. R. And Ramasastri , A. Agrawal.,Arun
dc.coverage.spatialComputer Science
dc.creator.researcherRai ,Gopal Narayan
dc.date.accessioned2022-09-28T10:32:02Z
dc.date.available2022-09-28T10:32:02Z
dc.date.awarded
dc.date.completed2017
dc.date.registered
dc.description.abstract
dc.description.note
dc.format.accompanyingmaterialDVD
dc.format.dimensions-
dc.format.extent-
dc.identifier.urihttp://hdl.handle.net/10603/408130
dc.languageEnglish
dc.publisher.institutionDepartment of Computer and Information Sciences
dc.publisher.placeHyderabad
dc.publisher.universityUniversity of Hyderabad
dc.relation-
dc.rightsuniversity
dc.source.inflibnetINFLIBNET
dc.subject.keywordComposition
dc.subject.keywordComputer Science
dc.subject.keywordEngineering and Technology
dc.subject.keywordLibrary Information and Science
dc.subject.keywordVerification (Logic)
dc.titleModeling and Verification of Web Services Using Recursive Composition Algebra
dc.title.alternative
dc.type.degreePh.D.

Files

Original bundle

Now showing 1 - 5 of 21
Thumbnail Image
Name:
01_title.pdf
Size:
327.72 KB
Format:
Adobe Portable Document Format
Description:
Attached File
Download
Thumbnail Image
Name:
02_certificate.pdf
Size:
191.43 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
03_declaration.pdf
Size:
90.42 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
04_acknowledgement.pdf
Size:
92.36 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
05_abstract.pdf
Size:
146.14 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Plain Text
Description:
Download

Collections

Department of Computer & Information Sciences