Marcello M. Bonsangue
Marcello M. Bonsangue
3 books in the database
Books
Coalgebraic Methods in Computer ScienceMarcello M. Bonsangue
Coalgebraic Methods in Computer Science
Marcello M. Bonsangue · 2014
Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue
Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue · 2007
Formal methods for components and objectsMarcello M. Bonsangue
Formal methods for components and objects
Marcello M. Bonsangue · 2006
Co-authored books and collections
Books that list Marcello M. Bonsangue among their authors but not as the lead author: co-written works, collections and compilations.
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2005
Data Science and Artificial IntelligenceChutiporn Anutariya
Data Science and Artificial Intelligence
Chutiporn Anutariya · 2024
Theoretical Aspects of Computing - ICTAC 2024Chutiporn Anutariya
Theoretical Aspects of Computing - ICTAC 2024
Chutiporn Anutariya · 2024