Direkt zum Seiteninhalt springen

- Zielstellung und Ergebnisse der Tagung: Methodik der Programmierung und Programmverifikation (S. …

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 of the record We use machine readable, standardized XML formats like LIDO (Collection), METS/MODS (Library) and EAD (Archive) to provide our data. You can download the XML file of the selected record here. If you have any questions contact us by email to digital@deutsches-museum.de.

Download the XML of the record
Images Individual images can be downloaded from the viewer's toolbar. To get a full download of all images from a record contact us by email to digital@deutsches-museum.de.
If you have any questions, suggestions, or comments, please use the form to get in touch with us or send an e-mail to: digital@deutsches-museum.de.
no-image-available.jpg