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.015113Item 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
No cover image available | ||||||||
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 / | 004.015192 MOT/R Randomized algorithms / |
Includes bibliographical references and index
74422 RS295.00
74423
84648
92154
There are no comments for this item.