Image from Google Jackets

Dyanamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn

By: Harel, David.
Material type: TextTextSeries: Foundation of computing series.Publisher: Cambridge: The MIT Press, 2000Description: xv, 459p.ISBN: 0262082896.Subject(s): Computer logic.---DDC classification: 004.015113
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item 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.

to post a comment.
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021