Verification of sequential and concurrent programs
Material type:
TextSeries: Texts and Monographs in Computer SciencePublication details: Berlin ; Springer Verlag ; 1991Description: 441ISBN: 3 540 97532 2Subject(s): Computer software - verification
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3.06 APT (Browse shelf (Opens below)) | Available | 28782 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
No cover image available | No cover image available | No cover image available | ||
| 681.3.06 AMM Algorithms and Data Structures in C++ | 681.3.06 AND Automata theory with modern applications | 681.3.06 APT Logics and models of concurrent systems | 681.3.06 APT Verification of sequential and concurrent programs | 681.3.06 APT Advanced C techniques | 681.3.06 ARB Theories of abstract automata | 681.3.06 AST Computer controlled systems theory and design |
There are no comments on this title.