Cover Image
Read Now

1
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... dieses Buches -- 2 Vorbereitungen -- 2.1 Syntax -- 2.2 Getypte Ausdrücke -- 2.3 Semantik von Ausdrücken...”