Title : Modeling and Verification of Web Services Using Recursive Composition Algebra

Type of Material: Thesis
Title: Modeling and Verification of Web Services Using Recursive Composition Algebra
Researcher: Rai ,Gopal Narayan
Guide: Gangadharan ,G. R. And Ramasastri , A. Agrawal.,Arun
Department: Department of Computer and Information Sciences
Publisher: University of Hyderabad, Hyderabad
Place: Hyderabad
Year: 2017
Language: English
Subject: Composition
Computer Science
Engineering and Technology
Library Information and Science
Verification (Logic)
Computer Science and Applications
Computer Science and Information Technology
Engineering and Technology
Dissertation/Thesis Note: PhD; Department of Computer and Information Sciences , University of Hyderabad, Hyderabad, Hyderabad
Fulltext: Shodhganga

00000000ntm a2200000ua 4500
001448443
003IN-AhILN
0052023-07-21 11:32:33
008__230721t2017||||ii#||||g|m||||||||||eng||
035__|a(IN-AhILN)th_448443
040__|dIN-AhILN|aHYDR_500046
041__|aeng
100__|eResearcher|aRai ,Gopal Narayan
110__|aDepartment of Computer and Information Sciences|ein|dHyderabad|bUniversity of Hyderabad, Hyderabad
245__|aModeling and Verification of Web Services Using Recursive Composition Algebra
260__|c2017|aHyderabad|bUniversity of Hyderabad, Hyderabad
300__|c-|dDVD|a-
502__|bPhD|cDepartment of Computer and Information Sciences , University of Hyderabad, Hyderabad, Hyderabad
650__|2UGC|aComputer Science and Applications
650__|aComputer Science and Information Technology|2UGC
650__|aEngineering and Technology|2AIU
653__|aComposition
653__|aComputer Science
653__|aEngineering and Technology
653__|aLibrary Information and Science
653__|aVerification (Logic)
700__|aGangadharan ,G. R. And Ramasastri , A. Agrawal.,Arun|eGuide
856__|uhttp://shodhganga.inflibnet.ac.in/handle/10603/408130|yShodhganga
905__|afromsg

User Feedback Comes Under This section.