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 |
000 | 00000ntm a2200000ua 4500 | |
001 | 448443 | |
003 | IN-AhILN | |
005 | 2023-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.