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 |
Permalink | https://digital-dev.deutsches-museum.de/item/NL-183-095 |
Datensatz im XML-Format |
Zum Austausch und Weiterverarbeitung der Daten nutzen wir maschinenlesbare, standardisierte XML-Formate wie LIDO (Sammlung), METS/MODS (Bibliothek) und EAD (Archiv). Hier können Sie die XML-Datei des ausgewählten Datensatzes herunterladen. Wenn Sie Fragen haben, kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de. XML des Datensatzes herunterladen |
---|---|
Bilder | Einzelbilder können in der Toolbar des Viewers heruntergeladen werden. Für einen vollständigen Download aller Bilder eines Datensatzes kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de. |