Número de Chamada
|
005.131 K93
|
Autor Principal
|
Kröger, Fred , 1945-
|
Título Principal
|
Temporal logic of programs / Fred Kröger
|
Publicação
|
Berlin ; New YorK : Springer-Verlag, [c1987].
|
Descrição Física
|
viii, 148 p. ; 25 cm
|
Série
|
EATCS monographs on theoretical computer science ; v.8
|
Notas
|
Inclui bibliografia e índice
|
ISBN
|
0387170308 (enc.)
|
Assuntos
|
Programação (Computadores) Lógica simbólica e matemática
|
|