Result: Dynamic logic

*Title*:

Dynamic logic / David Harel ; Dexter Kozen ; Jerzy Tiuryn

*Author/editor-in-chief*:

*Publication*:

Cambridge, Mass. [u.a.] : MIT Press, 2000

*Physical description scale*:

XV, 459 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Foundations of computing

*Notes*:

Literaturverz. S. [425] - 438

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0262082896 ; 9780262082891 ; 9780262527668

*Result*: Dynamic logic