Dynamic Logic
By: Harel, D.
Publisher: New Delhi PHI 2007Description: XV; 459.ISBN: 9788120331716.Subject(s): Computer logic | Formal methods (Computer science)DDC classification: 4.01 |Item type | Current location | Call number | Status | Notes | Date due |
---|---|---|---|---|---|
Books |
Amity Central Library
Amity Central Library, Noida |
4.01 HAR- D (Browse shelf) | Available | AITTM- 6666 | |
Books |
Amity Central Library
Amity Central Library, Noida |
4.01 HAR- D (Browse shelf) | Available | AITTM- 6667 | |
Books |
Amity Central Library
Amity Central Library, Noida |
4.01 HAR- D (Browse shelf) | Available | AITTM- 6668 | |
Books |
Amity Central Library
Amity Central Library, Noida |
4.01 HAR- D (Browse shelf) | Available | AITTM- 6669 | |
Books |
Amity Central Library
Amity Central Library, Noida |
4.01 HAR- D (Browse shelf) | Available | AITTM- 6670 |
Browsing Amity Central Library Shelves Close shelf browser
No cover image available | ||||||||
4.01 HAR- D Dynamic Logic | 4.01 HAR- D Dynamic Logic | 4.01 HAR- D Dynamic Logic | 4.01 HAR- D Dynamic Logic | 4.01 JOS-A Applied discrete structures | 4.0151 GAY- C Compreshensive Computer Based Numirical and Statistical Techniques | 4.03 IND- G Glossary of information technology |
There are no comments for this item.