Marcello Bonsangue

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,10 €

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,20 €

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,10 €

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,10 €

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,10 €

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

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

49,20 €

Artificial Intelligence Logic and Applications : 5th International Conference, AILA 2025, Xi'an, China, August 16–17,

Bonsangue, Marcello; Chen, Yixiang
Springer
2026
Pehmeäkantinen kirja

76,00 €

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November

Boer, Frank S.de; Bonsangue, Marcello; Graf, Susanne; de Roever, Willem-Paul
Springer
2003
Pehmeäkantinen kirja

51,10 €

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November

Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2004
Pehmeäkantinen kirja

51,10 €

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

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2006
Pehmeäkantinen kirja

51,10 €

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,10 €

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,10 €

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,10 €

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