Matches in Library of Congress for { <http://lccn.loc.gov/76477550> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 76477550 alternative "Grundlagen einer Methode für die rechnergestützte Verifikation ...".
- 76477550 contributor B2955091.
- 76477550 created "1975.".
- 76477550 date "1975".
- 76477550 date "1975.".
- 76477550 dateCopyrighted "1975.".
- 76477550 description "Includes bibliographical references.".
- 76477550 extent "53 p. ;".
- 76477550 isPartOf "Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung ; Bd. 8, Nr. 7".
- 76477550 isPartOf "Erlangen. Universität Erlangen-Nürnberg. Institut für Mathematische Maschinen und Datenverarbeitung. Arbeitsberichte ; Bd. 8, Nr. 7.".
- 76477550 issued "1975".
- 76477550 issued "1975.".
- 76477550 language "ger".
- 76477550 publisher "Erlangen : [Institut für Mathematische Maschinen und Datenverarbeitung],".
- 76477550 subject "001.6/424".
- 76477550 subject "Computer programs Reliability.".
- 76477550 subject "Computer programs Verification.".
- 76477550 subject "Programming languages (Electronic computers)".
- 76477550 subject "QA76.6 .L8".
- 76477550 title "Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung / Alfred Lothar Luft.".
- 76477550 type "text".