Dynamic logic / by David Harel, Dexter Kozen and Jerzy Tiuryn.
By: Harel, David.
Contributor(s): Kozen, Dexter | Tiuryn, Jerzy.
Material type:
TextPublisher: New Delhi : Prentice Hall of India , 2007Edition: .Description: xv,459p. ; 24cm.ISBN: 9788120331716.Subject(s): COMPUTER LOGICDDC classification: 004.015113
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 1 | Available | 74422 | |
|
Books
|
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 2 | Available | 74423 | |
|
Books
|
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 3 | Available | 84648 | |
|
Books
|
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 4 | Available | 92154 |
Browsing Central Library Shelves , Shelving location: General Stacks Close shelf browser
| 004.0151 VIS/I An introduction to mathematical computer science / | 004.0151 VIS/I An introduction to mathematical computer science / | 004.015113 HAR/D Dynamic logic / | 004.015113 HAR/D Dynamic logic / | 004.015113 HAR/D Dynamic logic / | 004.015113 HAR/D Dynamic logic / | 004.01513 PAR/C Computer arithmatic / |
Includes bibliographical references and index
74422 RS295.00
74423
84648
92154
There are no comments for this item.