Theoretical Aspects of Computing - ICTAC 2024Chutiporn Anutariya, Marcello M. Bonsangue · First published 2024Open the Tome
Data Science and Artificial IntelligenceChutiporn Anutariya, Marcello M. Bonsangue · First published 2023Open the Tome
It's All About CoordinationFrank de Boer, Marcello Bonsangue, Jan Rutten · First published 2018Open the Tome
Theory and Practice of Formal MethodsErika Abraham, Einar Broch Johnsen, Marcello Bonsangue · First published 2016Open the Tome
Formal Methods for Components and ObjectsFrank S. De Boer,Marcello M. Bonsangue,Stefan Hallerstede · First published 2011Open the Tome
Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue,Einar Broch Johnsen · First published 2008Open the Tome
Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue, Einar Broch Johnsen · First published 2007Open the Tome
Formal methods for components and objectsMarcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · First published 2006Open the Tome
Formal methods for components and objectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · First published 2003 · Latest edition 2004Open the Tome
