| 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 |
| Permalink | https://digital-dev.deutsches-museum.de/item/NL-183-095 |
| XML data set |
We use machine-readable, standardized formats for exchanging and processing data. LIDO-XML is available for data from the object collections. Data from the library is provided as METS/MODS-XML and data from the archive as EAD-XML. Download the XML data set |
|---|---|
| Images | Individual images can be downloaded via the arrow icon in the menu bar below the image view. The download includes the displayed image in medium resolution JPEG format, embedded in a ZIP container. |
| High-resolution images, image collections | We are happy to provide high-resolution images and 3D models, as well as data and image collections (e.g. all images of an object), upon request. |