Modal and temporal properties of processes
Material type:
TextSeries: Texts in Computer SciencePublication details: Berlin ; springer ; 2001Description: 190ISBN: 0 387 98717 7Subject(s): Parallel processing
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3 STI (Browse shelf (Opens below)) | Available | 49477 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 681.3 STE Common Lisp | 681.3 STE Art of Prolog : Advanced Programming Techniques | 681.3 STE Network Algebra | 681.3 STI Modal and temporal properties of processes | 681.3 STR Finite Automata, Formal Logic, and Circuit Complexity | 681.3 SUB Formal models languages and applications | 681.3 SUB Formal models languages and applications |
There are no comments on this title.