Koha online catalog › ISBD view

Normal view MARC view ISBD view

Kroger, Fred

Temporal logic of programs - Berlin-DD Springer-Verlag 1987 - 148 p

Subjects--Topical Terms:
COMPUTACION Y MATEMATICAS
LOGICA DE PROPOSICIONES (COMPUTACION)
LOGICA MATEMATICA
LOGICA TEMPORAL
SEMANTICA TEMPORAL DE PROGRAMA

Dewey Class. No.: 511.3 KRO

Place hold
Print
Add to your cart (remove)
Save record
More searches