Treffer: Temporal logics and their applications

Titel:
Temporal logics and their applications / ed. by Antony Galton
Verantwortlich:
Galton, Antony (Hrsg.)
Veröffent­licht:
London [u.a.] : Acad. Press, 1987
Umfang:
XII, 244 S. : graph. Darst.
Publikationstyp:
Buch
Sprache:
Englisch
RVK-Notation:
CC 2600 SK 130 ST 120 ST 125 ST 230
Schlagworte:
ISBN:
0122740602

Zusatz-Informationen

Zusatz-Funktionen