Cover Image
Read Now

1
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...8.1 Syntax -- 8.2 Semantik -- 8.3 Transformation verteilter Programme -- 8.4 Verifikation -- 8.5...”
Cover Image
Read Now

2
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... programming languages -- In transition from global to modular temporal reasoning about programs -- Syntax...”
Cover Image
Read Now

3
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991
Springer New York
“... standard syntax, their semantics can be defined in many different ways, and several approaches...”