Amazon cover image
Image from Amazon.com
Image from Google Jackets

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

By: Contributor(s): Material type: TextTextSeries: Foundations of computingPublication details: Cambridge, Mass. MIT Press 2000.Description: xv, 459p. ill. 23cmISBN:
  • 9788120331716
Subject(s): DDC classification:
  • 004.015113 HAR 2000
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 Call number Status Date due Barcode
Book-GN Book-GN PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH 004.015113 HAR 2000 (Browse shelf(Opens below)) Available 0000044451

Includes bibliographical references and index p.449-459

There are no comments on this title.

to post a comment.