Treffer: Dynamic logic

Titel:

Dynamic logic / David Harel ; Dexter Kozen ; Jerzy Tiuryn

Beteiligt:

Veröffentlicht:

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

Umfang:

XV, 459 S.

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Foundations of computing

Anmerkungen:

Literaturverz. S. [425] - 438

RVK-Notation:

Schlagworte:

ISBN:

0262082896 ; 9780262082891 ; 9780262527668

Zusatz-Informationen