Format:
VI, 429 S
ISBN:
354011212X
,
038711212X
Series Statement:
Lecture notes in computer science 131
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Logics of programs Berlin [u.a.] : Springer, 1982 ISBN 9783540390473
Language:
English
Keywords:
Konferenzschrift