Treffer: Temporal logics and their applications

Titel:
Verantwortlich:
Veröffent­licht:
London [u.a.] : Acad. Press, 1987
Umfang:
XII, 244 S. : graph. Darst.
Publikationstyp:
Buch
Sprache:
Englisch
ISBN:
0122740602