Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

By:

Contributor(s):

Material type: Text

TextSeries: Foundations of computingPublication details: Cambridge, Mass. : MIT Press, 2000.Description: xv, 459 p. : ill. ; 23 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Informatics and Virtual Education Library Collection General Collection	QA76.9.L63 H37 2000 (Browse shelf(Opens below))	Available		2605

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.