Cover Image
Read Now

1
Published 1976
Springer Berlin Heidelberg
Table of Contents: “... parallel programs correct -- The programming language concurrent pascal -- Guarded commands, non...”
Cover Image
Read Now

2
by Bauer, F.L., Wössner, H.
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... Uniform Language -- Conceptual Organization of the Algorithmic Language -- Tools to Be Used -- Methodology...”
Cover Image
Read Now

3
by Bauer, F.L., Wössner, H.
Published 1981
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

4
by Bauer, F.L., Wössner, H.
Published 1984
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

5
by Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D.
Published 1979
Springer Berlin Heidelberg
Table of Contents: “... of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm...”
Cover Image
Read Now

6
by Bauer, F.L., DeRemer, F.L., Griffiths, M., Hill, U.
Published 1974
Springer Berlin Heidelberg
Table of Contents: “... analysis -- Relationship of languages to machines -- Run-time storage management -- Special run-time...”
Cover Image
Read Now

7
by Bauer, F.L.
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Encryption Security -- 12 Exhausting Combinatorial Complexity -- 13 Anatomy of Language: Patterns -- 14...”