Logics in computer science: a study on extensions of temporal and strategic logics/ Fabio Mogavero
Material type:
TextPublication details: Paris: Atlantis Press, 2013Description: xvii,149 pages, 23.5 cmISBN: - 9789491216947
- 005.1015113 M696
| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 005.1015113 M696 (Browse shelf(Opens below)) | Available | Gifted by Prof Sankar Kumar Pal (CSCR) | C27119 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.101 ক৯৩ ব বেসিক প্রোগ্রামিং | 005.10151 B285 Algorithmic complexity | 005.1015113 D575 Predicate calculus and program semantics / | 005.1015113 M696 Logics in computer science: a study on extensions of temporal and strategic logics/ | 005.1015113 N451 Logic for applications / | 005.103 M147 McGraw Hill personal computer programming encyclopedia : languages and operating systems | 005.103 M319 Encyclopedia of software engineering |
Includes bibliography and index
There are no comments on this title.
Log in to your account to post a comment.
