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__|aHYDR_500046|dIN-AhILN
041__|aeng
100__|aRai ,Gopal Narayan|eResearcher
110__|aDepartment of Computer and Information Sciences|bUniversity of Hyderabad, Hyderabad|dHyderabad|ein
245__|aModeling and Verification of Web Services Using Recursive Composition Algebra
260__|aHyderabad|bUniversity of Hyderabad, Hyderabad|c2017
300__|a-|c-|dDVD
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.