Treffer: Temporal logic of programs

Titel:

Temporal logic of programs / Fred Kröger

Verantwortlich:

Kröger, Fred

Veröffentlicht:

Berlin [u.a.] : Springer, 1987

Umfang:

VIII, 148 S

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 8
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

3540170308 ; 0387170308

Zusatz-Informationen