Type of Material: | Thesis |
Title: | Proof theory for exception handling in distributed programs |
Researcher: | Lodaya, Kamal Dhanji |
Guide: | Mathai Joseph |
Department: | Department of Electronics Engineering |
Publisher: | Tata Institute of Fundamental Research |
Place: | Mumbai |
Year: | 1988 |
Language: | English |
Subject: | Engineering | Electronics Engineering | Computer | Computer Theory |
Dissertation/Thesis Note: | PhD |
000 | 00000ntm a2200000ua 4500 | |
001 | 76372 | |
003 | IN-AhILN | |
005 | 2011-01-13 00:00:00 | |
008 | __ | 881231t1988||||ii#||||g|m||||||||||eng|| |
035 | __ | |a(IN-AhILN)th_76372 |
040 | __ | |aTIFR_400005|dIN-AhILN |
041 | __ | |aeng |
100 | __ | |aLodaya, Kamal Dhanji|eResearcher |
110 | __ | |aDepartment of Electronics Engineering|bTata Institute of Fundamental Research|dMumbai|eIn |
245 | __ | |aProof theory for exception handling in distributed programs |
260 | __ | |aMumbai|bTata Institute of Fundamental Research|c1988 |
502 | __ | |bPhD |
653 | __ | |aEngineering |
653 | __ | |aElectronics Engineering |
653 | __ | |aComputer |
653 | __ | |aComputer Theory |
700 | __ | |aMathai Joseph|eGuide |
905 | __ | |anotification |
User Feedback Comes Under This section.