Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn
Type 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 science03B45, General logic, Modal logic (including the logic of norms)
68Q60, Computer science - Theory of computing, Specification and verificationEn-ligne : zbMath | MSN
Item type | 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.