BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Paritosh K Pandya

8 cilt bulundu.

Cilt sonuçları

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Paritosh K Pandya · Springer Science & Business Media

457 sayfa · 2003-12-03

Computers

CiltP-A Logic: a Compositional Proof Systems for Distributed ProgramsParitosh K. Pandya, M. Joseph

P-A Logic: a Compositional Proof Systems for Distributed Programs

Paritosh K. Pandya, M. Joseph · Yayınevi bilinmiyor

51 sayfa · 1988

Kategori yok

CiltFinite divergenceMichael R. Hansen, Paritosh K. Pandya, Chaochen Zhou

Finite divergence

Michael R. Hansen, Paritosh K. Pandya, Chaochen Zhou · Yayınevi bilinmiyor

29 sayfa · 1993

Kategori yok

CiltCompositional Verification of Distributed ProgramsParitosh K. Pandya

Compositional Verification of Distributed Programs

Paritosh K. Pandya · Yayınevi bilinmiyor

267 sayfa · 1988

Kategori yok

CiltInfinitary Parallel Operators for CSPK. N. Kumar, Paritosh K. Pandya

Infinitary Parallel Operators for CSP

K. N. Kumar, Paritosh K. Pandya · Yayınevi bilinmiyor

21 sayfa · 1992

Kategori yok

CiltRefinement Algebra Describes Asynchronous CSPParitosh K. Pandya

Refinement Algebra Describes Asynchronous CSP

Paritosh K. Pandya · Yayınevi bilinmiyor

16 sayfa · 1993

Kategori yok

CiltICSP and Its Relationship with ACSP and CSPK. N. Kumar, Paritosh K. Pandya

ICSP and Its Relationship with ACSP and CSP

K. N. Kumar, Paritosh K. Pandya · Yayınevi bilinmiyor

51 sayfa · 1993

Kategori yok

Computer scienceFST TCS 2003Paritosh K. Pandya, Jaikumar Radhakrishnan, Conference on Foundations of Software Technology and Theoretical Computer Science

Paritosh K. Pandya, Jaikumar Radhakrishnan, Conference on Foundations of Software Technology and Theoretical Computer Science · Yayınevi bilinmiyor

Sayfa sayısı yok · 2003

Computer science