Dynamic logic / by David Harel, Dexter Kozen and Jerzy Tiuryn.
By: Harel, David.
Contributor(s): Kozen, Dexter | Tiuryn, Jerzy.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 1 | Available | 74422 | |
![]() |
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 2 | Available | 74423 | |
![]() |
Central Library General Stacks | 004.015113 HAR/D (Browse shelf) | 3 | Available | 84648 | |
![]() |
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 | No cover image available | |||||||
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 / | 004.015192 MOT/R Randomized algorithms / |
Includes bibliographical references and index
74422 RS295.00
74423
84648
92154
There are no comments for this item.