Temporal logic in specification
Material type:
TextLanguage: English Series: Lecture notes in computer science, v 398Publication details: Berlin Springer Verlag 1989Description: vi,448pISBN: - 3-540-51803-7
- 005.131 B217
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.131 B217 (Browse shelf(Opens below)) | Available | 110061 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 005.131 Ab161 Handbook of logic in computer science | 005.131 Ag283 Formal languages and programming | 005.131 Ap655 Logic programming languages : constraints, functions and objects | 005.131 B217 Temporal logic in specification | 005.131 B277(3) Recursive techniques in programming | 005.131 B512 Symbolic logic and intelligent machines | 005.131 B512 Symbolic logic and intelligent machines |
There are no comments on this title.
Log in to your account to post a comment.
