Format:
VI, 527 S
,
graph. Darst
ISBN:
3540128964
,
0387128964
Series Statement:
Lecture notes in computer science 164
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Logics of programs Berlin [u.a.] : Springer, 1984 ISBN 9783540387756
Language:
English
Keywords:
Konferenzschrift