Koha online catalog › Details for: Dynamic logic

Normal view MARC view ISBD view

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

By: HarelContributor(s): Kozen, Dexter | Tiuryn, JerzyMaterial type: Text

TextSeries: Foundations of computingPublisher: Cambridge, Mass. MIT Press 2000Description: xv, 459p. ill. 23cmISBN: 9788120331716 Subject(s): Computer logic | Formal methods (Computer science)DDC classification: 004.015113 HAR 2000

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

Average rating: 0.0 (0 votes)

Item type	Current location	Call number	Materials specified	Status	Date due	Barcode
Book-GN	Perpustakaan Ibnu Khaldun General Collection	004.015113 HAR 2000 (Browse shelf)		Available		0000044451

Includes bibliographical references and index p.449-459

There are no comments on this title.

to post a comment.