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 Lectures

Springer 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, Proceedings

Springer London, Limited2007-01-01
Formal Methods for Components and Objects6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

Springer London, Limited2008-01-01
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer Berlin / Heidelberg2013-01-01
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer2013-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 Papers

Springer London, Limited2014-01-01
Data Science and Artificial IntelligenceFirst International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

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

Springer2024-01-01