PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

004.015113 / H222D
Harel,David,Kozen,Dexter
       DYNAMIC LOGIC / .- Mit Press, Cambridge, c2000 .- xv,459 . .- ( Foundation Of Computing
ISBN: 0262082896
Subject Headings:
Computer Logic;
Formal Methods (Computer Science);
Author Added Entry:
Tiuryn,Jerzy;
Copy Details:
Acc. No.: A134719, Full Call No.: 004.015113 H222D, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------

Powered by Koha