Empirical methods and studies in software engineering
: experiences from ESERNET / Reidar Conradi ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2765)
ISBN 978-3-540-45143-3
Lizenzpflichtig
Quelle: DNB
Marcial, Frank: Entwicklung von Datenmodellen für ein objektorientiertes Engineering-Data-Management-System zur Unterstützung von teamorientierten Organisationsformen
/ Frank Marcial. - Berlin : Springer, 1997. - 222 S. : graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 252)
ISBN 978-3-540-63340-2 / 3-540-63340-5 kart. : DM 88.00
Quelle: DNB
Hanebeck, Roland: Entwurf computergestützter Tabellenkalkulationen
/ Roland Hanebeck. - Frankfurt am Main : Lang, 1997. - XVIII, 280 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 5, Volks- und Betriebswirtschaft; Bd. 2155)
ISBN 978-3-631-32257-4 / 3-631-32257-7 kart. : ca. DM 89.00 (freier Pr.)
Quelle: DNB
Formal methods and object technology
/ S. J. Goldsack and S. J. H. Kent (ed.). - London : Springer, 1996. - XVIII, 368 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19977-9 / 3-540-19977-2 kart. : DM 88.00
Literaturverz. S. 336 - 356
Quelle: DNB
Formal methods for components and objects
: 6th international symposium : revised papers / FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007. Frank S. de Boer ... (ed.). - Berlin : Springer, 2008. - X, 311 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 5382)
ISBN 978-3-540-92187-5 kart. : ca. EUR 52.38 (freier Pr.), ca. sfr 81.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for components and objects
: 5th international symposium ; revised lectures / FMCO 2006, Amsterdam, The Netherlands, November 7 - 10, 2006. Frank S. de Boer ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4709)
ISBN 978-3-540-74792-5
Lizenzpflichtig
Quelle: DNB
Formal methods for components and objects
: 5th international symposium ; revised lectures / FMCO 2006, Amsterdam, The Netherlands, November 7 - 10, 2006. Frank S. de Boer ... (ed.). - Berlin : Springer, 2007. - VIII, 296 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4709)
ISBN 978-3-540-74791-8 / 3-540-74791-5 kart. : EUR 51.36 (freier Pr.), ca. sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for components and objects
: 4th international symposium ; revised lectures / FMCO 2005, Amsterdam, The Netherlands, November 1 - 5, 2005. Frank S. de Boer ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4111)
ISBN 978-3-540-36750-5
Lizenzpflichtig
Quelle: DNB
Formal methods for components and objects
: 4th international symposium ; revised lectures / FMCO 2005, Amsterdam, The Netherlands, November 1 - 4, 2005. Frank S. de Boer ... (ed.). - Berlin : Springer, 2006. - VIII, 427 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4111)
ISBN 978-3-540-36749-9 / 3-540-36749-7 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for components and objects
: first international symposium ; revised lectures / FMCO 2002, Leiden, The Netherlands, November 5 - 8, 2002. Frank S. de Boer ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2852)
ISBN 978-3-540-39656-7
Lizenzpflichtig
Quelle: DNB