Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw.

By:

Contributor(s):

Material type: Text

TextSeries: Foundations of computingPublication details: Cambridge: The MIT Press, 2000.Description: xv, 459 pages : illustrations ; 23 cmISBN:

Subject(s):

DDC 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	Collection	Call number	Status	Notes	Date due	Barcode
Books	Central Library, IISER Bhopal Reference Section	Reference	004.015113 H222D (Browse shelf(Opens below))	Not For Loan	Reserve		8812

Originally published: 2000.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.