Marcello M. Bonsangue

No bio available. Add one in Open Library.

Books by Marcello M. Bonsangue (50 max)

+ shelf+ list

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

2004

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

+ shelf+ list

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

2006

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

+ shelf+ list

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

2007

Marcello M. Bonsangue, Einar Broch Johnsen

+ shelf+ list

Coalgebraic Methods in Computer Science 12th IFIP WG 1. 3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2014

Marcello M. Bonsangue

+ shelf+ list

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

2023

Chutiporn Anutariya, Marcello M. Bonsangue

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 27-29, 2024, Proceedings

2024

Chutiporn Anutariya, Marcello M. Bonsangue