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, Computer science - Theory of computing, Specification and verificationEn-ligne : zbMath | MSN Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1 		03 HAR (Browse shelf(Opens below)) Available 02657-01

Bibliogr. p. [425]-438. Index

There are no comments on this title.

to post a comment.