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 |
There are no comments for this item.