Vorträge von der Thematischen Konferenz KNWWT
Subtitle: Methodik der Programmierung und Programmverifikation vom 10. bis 15. Mai 1976 in Dresden
By: Weiterbildungszentrum für Mathematische Kybernetik und Rechentechnik, Technische Universität Dresden, Sektion Mathematik ; Leiter des WBZ, N. J. Lehmann.
Contributors: Lehmann, N. Joachim.; Technische Universität Dresden. Weiterbildungszentrum Mathematische Kybernetik und Rechentechnik.
Series: [Veröffentlichungen] - Sektion Mathematik, Weiterbildungszentrum für Mathematische Kybernetik und Rechentechnik ; Heft 22-23
Publisher: Technische Universität
Published: 1977
Place of publication: Dresden
Language: ger
Subjects: Computer programming -- Congresses.; Structured programming -- Congresses.; Computer programs -- Verification -- Congresses.
Notes: Includes bibliographies.
English, German, or Russian.