Image from Amazon.com
Computer-Aided Verification of Coordinating Processes Automata-Theoretic Approach
Material type:
TextSeries: Princeton Series in Computer SciencePublication details: Princeton; PUP; 1994Description: 270pISBN: - 0 691 03436 2
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3.06 KUR (Browse shelf(Opens below)) | Available | 35893 |
There are no comments on this title.
Log in to your account to post a comment.