Computer-aided verification of coordinating processes : the automata-theoretic approach
Language: English Series: Publication details: ; Princeton : Princeton University Press, 1994 ; 1994Edition: Description: xii,270 p; 24 cmISBN: 0-691-03436-27Subject(s): | Manufacturing processes-Planning-Data processing | Computational complexity | System design | Expert systems (Computer science)-Verification| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB | 621-52:681.342 Kur | Available | G32B07 | 184768 |
Total holds: 0
There are no comments on this title.