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 Pandya

3 cilt bulundu.

Cilt sonuçları

CiltCompositional verification of distributed programsParitosh K. Pandya

Compositional verification of distributed programs

Paritosh K. Pandya · Yayınevi bilinmiyor

267 sayfa · 1988

Kategori yok

CiltFST TCS 2003 : Foundations of Software Technology and Theoretical Computer ScienceParitosh K. Pandya, Jaikumar Radhakrishnan

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

Paritosh K. Pandya, Jaikumar Radhakrishnan · Springer London, Limited

Sayfa sayısı yok · 2003

Kategori yok

CiltDevelopment of Safety-Critical SystemsGopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya

Development of Safety-Critical Systems

Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya · Springer

Sayfa sayısı yok · 2023

Kategori yok