1
by Bauer, Friedrich L., Goos, Gerhard
Published 1992
Springer Berlin Heidelberg
Table of Contents: '; ... semantische Definition algorithmischer Sprachen -- 8.1 Syntax algorithmischer Sprachen -- 8.2 Operative...

2
by Bauer, Friedrich L.
Published 1993
Springer Berlin Heidelberg
Table of Contents: '; ... -- Structured Specifications: Syntax, Semantics and Proof Calculus...

3
by Bauer, Friedrich L., Goos, Gerhard
Published 1984
Springer Berlin Heidelberg
Table of Contents: '; ... semantische Definition algorithmischer Sprachen -- 8.1 Syntax algorithmischer Sprachen -- 8.2 Operative...