Normal view MARC view ISBD view

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn

Auteur principal : Harel, David, 1950-, AuteurCo-auteur : Kozen, Dexter C., 1951-, Auteur • Tiuryn, Jerzy, AuteurType de document : MonographieCollection : Foundations of computingLangue : anglais.Pays : Etats Unis.Éditeur : Cambridge, MA : MIT Press, 2000Description : 1 vol. (xv-459 p.) : ill. ; 24 cmISBN : 0262082896.Bibliographie : Bibliogr. p. [425]-438. Index.Sujet MSC : 03B70, General logic, Logic in computer science
03B45, General logic, Modal logic (including the logic of norms)
68Q60, Theory of computing, Specification and verification
En-ligne : zbMath | MSN
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 HAR (Browse shelf) Available 02657-01

Bibliogr. p. [425]-438. Index

There are no comments for this item.

Log in to your account to post a comment.