Dyanamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn
By: Harel, David.
Material type: TextSeries: Foundation of computing series.Publisher: Cambridge: The MIT Press, 2000Description: xv, 459p.ISBN: 0262082896.Subject(s): Computer logic.---DDC classification: 004.015113Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 004.015113 H2229 Dy (Browse shelf(Opens below)) | Available | 179645 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
004.01511 N136 In An introduction to computer logic / | 004.01511 N136 In An introduction to computer logic / | 004.015113 D2953 Co Computability, complexity, and languages : | 004.015113 H2229 Dy Dyanamic logic / | 004.0151135 R6321 Th Theory of recursive functions and effective computability / | 004.0151135 R6321 Th Theory of recursive functions and effective computability / | 004.015118 H8716 Lo Logical environments / |
There are no comments on this title.