Image from Google Jackets

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

By: Contributor(s): Series: Foundations of computingPublication details: Cambridge: The MIT Press, 2000.Description: xv, 459 pages : illustrations ; 23 cmISBN:
  • 9780262527668
Subject(s): DDC classification:
  • 004.015113 H222D 23
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Books Books Central Library, IISER Bhopal Reference Section Reference 004.015113 H222D (Browse shelf(Opens below)) Not For Loan Reserve 8812
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
004.0151 H971L Logic in computer science : 004.0151 H971L Logic in computer science : 004.0151 K528A Automata theory and its applications 004.015113 H222D Dynamic logic 004.015193 Ap8L Lectures in game theory for computer scientists 004.1 As14O Optical quantum computers 004.1 As14O Optical quantum computers

Originally published: 2000.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.


Contact for Queries: skpathak@iiserb.ac.in