Temporal Logic of Reactive and Concurrent Systems, specifications by Zohar Manna
Material type:
TextPublication details: Berlin Springer Verlag 1992Description: xiv, 427pISBN: 0387976647Subject(s): Logic, Symbolic and mathematicalDDC classification: 005.1 MAN
Contents:
Contents:
Part I : Models of Concurrenc
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
TEXT BOOK
|
LRC_JUIT Computer Science & Engineering | TEXTBOOK SECTION | 005.1 MAN (Browse shelf (Opens below)) | Copy 1 | Available | 015665 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: TEXTBOOK SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 MAL Fundamentals of Software Engineering | 005.1 MAL Fundamentals of Software Engineering | 005.1 MAN Genetic Algorithms | 005.1 MAN Temporal Logic of Reactive and Concurrent Systems, specifications | 005.1 MAT Foundations of Software Testing | 005.1 MAT Foundations of Software Testing | 005.1 MAT Foundations of Software Testing |
Contents:
Part I : Models of Concurrenc
There are no comments on this title.