Kroger, Fred
Temporal logic of programs / Fred Kroger. - Berlin : Springer-Verlag , cop. 1987 . - VIII, 148 p. : il. ; 25 cm. - (EATCS monographs on theoretical computer science,) ; 8
ISBN 0-387-17030-8
Computadores eletrónicos digitais
Programação em lógica
Lógica temporal de programas
LCC QA76
Temporal logic of programs / Fred Kroger. - Berlin : Springer-Verlag , cop. 1987 . - VIII, 148 p. : il. ; 25 cm. - (EATCS monographs on theoretical computer science,) ; 8
ISBN 0-387-17030-8
Computadores eletrónicos digitais
Programação em lógica
Lógica temporal de programas
LCC QA76