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 |
There are no comments on this title.