Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "Heinrich" and "Dick"

Zurück zur Trefferliste


Treffer 8 von 9 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1382397917
Titel A method for the development of correct software / Peter Pepper, Martin Wirsing, Ralph Betschko, Manfred Broy, Sabine Dick, Klaus Didrich, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Hußmann, Michael Mehlich, Wolfgang Reif, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von Henke, Liu Junbo, Bernd Krieg-Brückner, Thomas Santen, Gerhard Schellhorn, Oscar Slotosch, Kurt Stenzel, Martin Strecker, Nikolas Vlachantonis, Burkhart Wolff ; Herausgeber: Manfred Broy, Stefan Jähnichen
Person(en) Pepper, Peter (Verfasser)
Wirsing, Martin (Verfasser)
Betschko, Ralph (Verfasser)
Broy, Manfred (Verfasser)
Dick, Sabine (Verfasser)
Didrich, Klaus (Verfasser)
Faulhaber, Joachim (Verfasser)
Grieskamp, Wolfgang (Verfasser)
Hußmann, Heinrich (Verfasser)
Mehlich, Michael (Verfasser)
Reif, Wolfgang (Verfasser)
Beyer, Martin (Verfasser)
Gastinger, Stefan (Verfasser)
Heisel, Maritta (Verfasser)
von Henke, Friedrich (Verfasser)
Junbo, Liu (Verfasser)
Krieg-Brückner, Bernd (Verfasser)
Santen, Thomas (Verfasser)
Schellhorn, Gerhard (Verfasser)
Slotosch, Oscar (Verfasser)
Stenzel, Kurt (Verfasser)
Strecker, Martin (Verfasser)
Vlachantonis, Nikolas (Verfasser)
Wolff, Burkhart (Verfasser)
Broy, Manfred (Herausgeber)
Jähnichen, Stefan (Herausgeber)
Verlag Augsburg : Universität Augsburg - Berlin : Springer
Zeitliche Einordnung Erscheinungsdatum: 1995
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:bvb:384-opus4-607614
DOI: 10.1007/bfb0015454
URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/60761 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Lecture Notes in Computer Science ; 1009
Anmerkungen In: KORSO: methods, languages, and tools for the construction of correct software; final report, S. 25-57
DDC-Notation 005.12 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 8 von 9
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration