| Signature mark | NL 183/095 |
|---|---|
| Subject | Publikation Zeitschriftenartikel (2) |
| Title | - Zielstellung und Ergebnisse der Tagung: Methodik der Programmierung und Programmverifikation (S. 1-22; nur Lehmann) - Sprachorientierte Programmdokumentation (S. 151-160; mit Pätzold) in: Beiträge zur KNVVT-Konferenz: Methodik der Programmierung und Programmverifikation, Teil 1 (= Schriftenreihe des Weiterbildungszentrums für Mathematische Kybernetik und Rechentechnik, H. 22/77) |
| Note | Vollständiges Exemplar des Hefts (insgesamt 118 Bl.) |
| Duration | 1977 |
| Scope | 7 Bl. gedr. |
| Rights notice | CC BY-SA 4.0 |
