Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.

Thu, 01 Jan 1976 00:00:00 +0100

Wolfgang Polak:
Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen. Fachtagung über Programmiersprachen 1976: 12-18