Marcello M. Bonsangue
Identifiers
- Open LibraryOL7896885A
Top Subjects
- Computer science (2)
- Computer software (1)
- Object-oriented programming (computer science) (1)
- Mathematics (1)
Books by Marcello M. Bonsangue
Total count: 8
-
Formal Methods for Components and ObjectsSecond International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised LecturesSpringer London, Limited2004-01-01
-
Formal Methods for Open Object-Based Distributed Systems9th IFIP WG 6. 1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Formal Methods for Components and Objects6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised LecturesSpringer London, Limited2008-01-01
-
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected PapersSpringer Berlin / Heidelberg2013-01-01
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised LecturesSpringer2013-08-26-
Coalgebraic Methods in Computer Science12th IFIP WG 1. 3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected PapersSpringer London, Limited2014-01-01
-
Data Science and Artificial IntelligenceFirst International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, ProceedingsSpringer2023-01-01
-
Theoretical Aspects of Computing - ICTAC 202421st International Colloquium, Bangkok, Thailand, November 27-29, 2024, ProceedingsSpringer2024-01-01