Formal methods for open object based distributed systems
: 8th IFIP WG 6.1 international conference ; proceedings / FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4037)
ISBN 978-3-540-34895-5
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5051)
ISBN 978-3-540-68863-1
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ; Frank S. de Boer (ed.). - Berlin : Springer, 2008. - X, 258 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5051)
ISBN 978-3-540-68862-4 kart. : EUR 67.41 (freier Pr.), sfr 105.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Lano, Kevin: Formal object oriented development
/ Kevin Lano. - London : Springer, 1995. - 422 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19978-6 / 3-540-19978-0 kart. : DM 74.00
Literaturverz. S. 318 - 331
Quelle: DNB
From object orientation to formal methods
: essays in memory of Ole-Johan Dahl / Olaf Owe ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2635)
ISBN 978-3-540-39993-3
Lizenzpflichtig
Quelle: DNB
From object orientation to formal methods
: essays in memory of Ole-Johan Dahl / Olaf Owe ... (ed.). - Berlin : Springer, 2004. - X, 388 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; 2635)
ISBN 978-3-540-21366-6 / 3-540-21366-X kart. : EUR 51.36, sfr 85.00
Bibliogr. S. 8 - 14
Quelle: DNB Verlagsmeldungen
Vetter, Max: Global denken, lokal handeln in der Informatik
: 10 Gebote eines ganzheitlichen, objektorientierten Informatik-Einsatzes / von Max Vetter. - Stuttgart : Teubner, 1994. - 182 S. : Ill., graph. Darst.; 24 cm - (Informatik und Unternehmensführung)
ISBN 978-3-519-02188-9 / 3-519-02188-9 Pp. : DM 44.00, sfr 44.00, S 343.00
Quelle: DNB
Buhl, Axel: Grundkurs Software-Projektmanagement
/ Axel Buhl. - München : Hanser, 2004. - 198 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-446-22621-0 / 3-446-22621-4 kart.
Literaturverz. S. 191 - 194
Quelle: DNB Verlagsmeldungen
Hoang, Minh-Son: Komponentenbasierte Automatisierungssoftware
: objektorientiert - anwendungsnah / Minh Son Hoang ; Peter Rieger. - München : Hanser, 1999. - 292 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-446-21231-2 / 3-446-21231-0 Pp. : DM 98.00, EUR 50.11, sfr 89.00, S 715.00
Literaturverz. S. 272 - 276
Quelle: DNB
Mainstream objects
/ Yourdon .... - München : Prentice Hall, 1996. - 422 S. : graph. Darst.; 24 cm
ISBN 978-3-8272-9517-0 / 3-8272-9517-3 Pp. : DM 99.95
Quelle: DNB
