Home > Authors > Paritosh K. Pandya > Compositional verification of distributed programs

Compositional verification of distributed programs

Paritosh K. Pandya

Recent activity

Rate this book to see your activity here.

1 Book Similar to Compositional verification of distributed programs by Paritosh K. Pandya

Bookscovery readers who liked Compositional verification of distributed programs also like FST TCS 2003 : Foundations of Software Technology and Theoretical Computer Science. How many of these have you read?

FST TCS 2003 : Foundations of Software Technology and Theoretical Computer Science by Paritosh K. Pandya

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

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Compositional verification of distributed programs

Please sign in to leave a comment