Dynamic logic / by David Harel, Dexter Kozen [and] Jerzy Tiuryn

By:

Contributor(s):

Publication details: New Delhi Prentice-Hall of India 2007Description: xv, 459p. 23cm. (Pbk)ISBN:

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Barcode
English Books	D.B.Act.Division	Non-fiction	004.0151 HAR (Browse shelf(Opens below))	1	Not For Loan	EN-69762

Includes index

There are no comments on this title.

to post a comment.