Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=880024631
Link zu diesem Datensatz | https://d-nb.info/880024631 |
Art des Inhalts | Hochschulschrift |
Titel | The connection between applicative and procedural languages in an integrated software development and verification system |
Person(en) | Olthoff, Walter (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1987 |
Umfang/Format | 247 S. ; 21 cm |
Hochschulschrift | Kaiserslautern, Univ., Diss., 1987 |
Schlagwörter | Programmiersprachen / integrated software development and verification system ; Software / integrated ̃ development and verification system |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 87/6450
Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1987 A 9044
Bereitstellung in Leipzig |