Marcello Bonsangue

Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 20

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 20

de Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Leuschel, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus

Bonsangue, Marcello M.; Johnsen, Einar Broch
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2

Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 200

Bonsangue, Marcello M.; Madelaine, Eric
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,40 €

Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenob

Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

49,40 €

Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 200

Boer, Frank S.de; Bonsangue, Marcello; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006,

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 20

Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 200

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 201

Aichernig, Bernhard K.; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Se

Beckert, Bernhard; Damiani, Ferruccio; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Re

Giachino, Elena; Hähnle, Reiner; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,40 €

Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,40 €

It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

de Boer, Frank; Bonsangue, Marcello; Rutten, Jan
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,40 €

Data Science and Artificial Intelligence - First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, P

Anutariya, Chutiporn; Bonsangue, Marcello M.
Springer Verlag, Singapore
2023
Pehmeäkantinen kirja

121,40 €

Data Science and Artificial Intelligence - Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, P

Anutariya, Chutiporn; Bonsangue, Marcello M.; Budhiarti-Nababan, Erna; Sitompul, Opim Salim
Springer Verlag, Singapore
2024
Pehmeäkantinen kirja

76,40 €

Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedi

Anutariya, Chutiporn; Bonsangue, Marcello M.
Springer International Publishing AG
2024
Pehmeäkantinen kirja

67,40 €

Marcello Bonsangue | Booky.fi