登入選單
Google圖書搜尋
P-A Logic: a Compositional Proof Systems for Distr...
作者
Paritosh K. Pandya / M. Joseph
出版1988
ISBN
OCLC:897672652
Development of Safety-Critical Systems
作者
Gopinath Karmakar / Amol Wakankar / Ashutosh Kabra / Paritosh Pandya
出版Springer Nature, 2023-10-09
ISBN
9783031279010 / 3031279018
主題
Computers
FST TCS 2003: Foundations of Software Technology a...
作者
Paritosh K Pandya
出版Springer Science & Business Media, 2003-12-03
ISBN
9783540206804 / 3540206809
主題
Computers
ICSP and Its Relationship with ACSP and CSP
作者
K. N. Kumar / Paritosh K. Pandya
出版1993
ISBN
OCLC:897866476
Compositional Verification of Distributed Programs
作者
Paritosh K. Pandya
出版1988
ISBN
OCLC:61484786
Infinitary Parallel Operators for CSP
作者
K. N. Kumar / Paritosh K. Pandya
出版1992
ISBN
OCLC:897934846
Refinement Algebra Describes Asynchronous CSP
作者
Paritosh K. Pandya
出版1993
ISBN
OCLC:897866339
Finite divergence
作者
Michael R. Hansen / Paritosh K. Pandya / Chaochen Zhou
出版1993
ISBN
OCLC:632605390
FST TCS 2003
作者
Paritosh K. Pandya / Jaikumar Radhakrishnan / Conference on Foundations of Software Technology and Theoretical Computer Science
出版2003
ISBN
OCLC:768062894
主題
Computer science