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
Formal methods for components and objects
: third international symposium ; revised lectures / FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004. Frank S. de Boer ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3657)
ISBN 978-3-540-31939-9
Lizenzpflichtig
Quelle: DNB
Formal methods for components and objects
: second international symposium ; revised lectures / FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003. Frank S. de Boer ... (ed.). - Berlin : Springer, 2004. - VIII, 371 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3188 : Tutorial)
ISBN 978-3-540-22942-1 / 3-540-22942-6 kart. : EUR 52.43 (freier Pr.), sfr 87.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for open object based distributed systems
: 9th IFIP WG 6.1 international conference ; proceedings / FMOODS 2007, Paphos, Cyprus, June 6 - 8, 2007. Marcello M. Bonsangue ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4468)
ISBN 978-3-540-72952-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
Generative and component based software engineering
: third international conference ; proceedings / GCSE 2001, Erfurt, Germany, September 10 - 13, 2001. Jan Bosch (ed.). - Berlin : Springer, 2001. - VIII, 176 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2186)
ISBN 978-3-540-42546-5 / 3-540-42546-2 kart. : DM 70.62
Literaturangaben
Quelle: DNB
