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...”