Result: Temporal logic of programs

*Title*:

Temporal logic of programs / Fred Kröger

*Author/editor-in-chief*:

Kröger, Fred

*Publication*:

Berlin [u.a.] : Springer, 1987

*Physical description scale*:

VIII, 148 S

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 8
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540170308 ; 0387170308

*Result*: Temporal logic of programs