| Signatur | NL 183/095 |
|---|---|
| Gegenstand | Publikation Zeitschriftenartikel (2) |
| Titel | - 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) |
| Bemerkung | Vollständiges Exemplar des Hefts (insgesamt 118 Bl.) |
| Laufzeit | 1977 |
| Umfang | 7 Bl. gedr. |
| Rechtehinweis | CC BY-SA 4.0 |
