Feedback
FAQs
Toggle navigation
Home
About
Introduction
Objectives
Features & Functionalities
Books
Theses
Serials
OCS
Contribute Your Data
Statistics
Download
IndCat Manual
OCS Manual_SOUL
OCS Manual_Koha
Contact us
All
Title
Researcher
Guide
University
Year
Subject
Department
Language
Place
Free Text
Exact-Search
Full-Text
University
Tata Institute of Fundamental Research [1]
Subject
Computer [1]
Computer Theory [1]
Electronics Engineering [1]
Engineering [1]
Language
English [1]
Year
1988 [1]
Researcher
Pandya, Paritosh Kulin [1]
Guide
Mathai Joseph [1]
Place
Mumbai [1]
Per Page:
10
20
30
50
100
Sort By:
Title Asc
Title Desc
|<
1
>|
Search results for
' ' (0.003 seconds )
Total Hits :
1
1
Compositional verification of distributed programs
Researcher:
P
a
n
d
y
a
,
P
a
r
i
t
o
s
h
K
u
l
i
n
Guide:
M
a
t
h
a
i
J
o
s
e
p
h
University:
Tata Institute of Fundamental Research
Language:
E
n
g
l
i
s
h
