Höpler, Robert: A unifying object oriented methodology to consolidate multibody dynamics computations in robot control
/ Robert Höpler. - Als Ms. gedr. - Düsseldorf : VDI-Verl., 2005. - X, 115 S. : Ill., graph. Darst.; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1054)
ISBN 978-3-18-505408-2 / 3-18-505408-3 kart. : EUR 41.00 (nicht im Sortimentsbuchh.), EUR 36.90 (VDI-Mitgliederpr.)
Quelle: DNB
Sonntag, Susann: Unterstützung applikationsspezifischer Anforderungen durch Reflexion über der Infrastruktur in objektorientierten Betriebssystemen
/ Susann Sonntag. GMD, Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - 143 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 230)
ISBN 978-3-486-23077-2 / 3-486-23077-8 kart. : DM 40.00
Quelle: DNB
Baumann, Kathrin: Unterstützung der objektorientierten Systemanalyse durch Softwaremasse
: Entwicklung eines messbasierten Modellierungsratgebers / Kathrin Baumann. - Heidelberg : Physica-Verl., 1997. - VIII, 216 S. : graph. Darst.; 24 cm - (Beiträge zur Wirtschaftsinformatik; Bd. 23)
ISBN 978-3-7908-1018-9 / 3-7908-1018-5 kart. : DM 85.00, sfr 75.00, S 620.50
Quelle: DNB
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino. - Berlin : Springer, 2007. - XXIX, 658 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68977-5 / 3-540-68977-X kart. : EUR 70.62 (freier Pr.), sfr 117.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
Ruske, Natascha: Wiederverwendung fördernde Dokumentation objektorientierter Anwendungsentwicklung am Beispiel eines Liegenschaftsverwaltungssystems
/ Natascha Ruske. - Frankfurt am Main : Lang, 2000. - 183 S. : graph. Darst.; 21 cm - (Schriften zur Wirtschaftsinformatik; Bd. 11)
ISBN 978-3-631-35584-8 / 3-631-35584-X kart. : ca. DM 69.00 (freier Pr.)
Quelle: DNB
Appelfeller, Wieland: Wiederverwendung im objektorientierten Softwareentwicklungsprozess
: dargestellt am Beispiel der Entwicklung eines Lagerlogistiksystems / Wieland Appelfeller. - Frankfurt am Main : Lang, 1995. - 241 S. : graph. Darst.; 21 cm - (Schriften zur Wirtschaftsinformatik; Bd. 4)
ISBN 978-3-631-48675-7 / 3-631-48675-8 kart. : ca. DM 69.00 (freier Pr.)
Quelle: DNB
