On the refinement calculus
/ ed. by Carroll Morgan and Trevor Vickers. Carroll Morgan .... - 2nd print. - London : Springer, 1994. - 159 S.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19931-1 / 3-540-19931-4 kart. : DM 58.00
Literaturverz. S. 155 - 158
Quelle: DNB
On the refinement calculus
/ ed. by Carroll Morgan and Trevor Vickers. Carroll Morgan .... - London : Springer, 1994. - 159 S.; 25 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19809-3 / 3-540-19809-1 Pp. : DM 68.00
Literaturverz. S. 155 - 159
Quelle: DNB
Rieck, Stefan: OOP für Ingenieure
: Beispiele in C++ ; mit CD-ROM / Stefan Rieck. - Berlin : VDE-Verl., 2002. - 270 S. : graph. Darst.; 22 cm
ISBN 978-3-8007-2706-3 / 3-8007-2706-4 Pp. : EUR 25.00 (DE), EUR 25.60 (AT), sfr 42.10
Quelle: DNB
Open-Source-Software
: eine ökonomische und technische Analyse ; mit 6 Tabellen / Bernd Brügge .... - Berlin : Springer, 2004. - IX, 243 S. : graph. Darst.; 24 cm
ISBN 978-3-540-20366-7 / 3-540-20366-4 Pp. : EUR 39.95
Literaturverz. S. 203 - 219
Quelle: DNB
Koch, Stefan: Open-source-Software-Entwicklung
: Analyse und Aufwandsschätzung an einem Beispiel / Stefan Koch. - Frankfurt am Main : Lang, 2002. - 187 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 5, Volks- und Betriebswirtschaft; Bd. 2831)
ISBN 978-3-631-38512-8 / 3-631-38512-9 kart. : EUR 35.30 (freier Pr.)
Quelle: DNB
Hammel, Martina: Partizipative Softwareentwicklung im Kontext der Geschlechterhierarchie
/ Martina Hammel. - 1. Aufl. - Frankfurt am Main : Lang, 2003. - 228 S.; 21 cm - (Europäische Hochschulschriften : Reihe 41, Informatik; Bd. 41)
ISBN 978-3-631-50901-2 / 3-631-50901-4 kart.
Quelle: DNB
Bunse, Christian: Pattern-based refinement and translation of object-oriented models to code
/ von Christian Bunse. - Stuttgart : Fraunhofer-IRB-Verl., 2001. - XII, 462 S. : graph. Darst.; 24 cm - (PhD theses in experimental software engineering; Vol. 2)
ISBN 978-3-8167-5613-2 / 3-8167-5613-1 kart. : DM 160.00
Quelle: DNB
Performance engineering
: state of the art and current trends / R. Dumke ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; Vol. 2047)
ISBN 978-3-540-45156-3
Lizenzpflichtig
Quelle: DNB
Perspectives of system informatics
: revised papers / 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 2003. Manfred Broy ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2890)
ISBN 978-3-540-39866-0
Lizenzpflichtig
Quelle: DNB
Perspectives of system informatics
: revised papers / 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001. D. Bjørner ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2244)
ISBN 978-3-540-45575-2
Lizenzpflichtig
Quelle: DNB
