Bonsangue, Marcello M. books & textbook
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)
Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-01-03 Paperback / 366 Pages
isbn-10: 3642358861 / isbn-13: 9783642358869
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science, 5382)
Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2008-12-01 Paperback / 323 Pages
isbn-10: 3540921877 / isbn-13: 9783540921875
Data Science and Artificial Intelligence: First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings (Communications in Computer and Information Science)
Anutariya, Chutiporn Bonsangue, Marcello M.
Springer /2023-11-17 Paperback / 388 Pages
isbn-10: 9819979684 / isbn-13: 9789819979684
Data Science and Artificial Intelligence: Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings (Communications in Computer and Information Science, 2318)
Anutariya, Chutiporn Bonsangue, Marcello M. Budhiarti-Nababan, Erna Sitompul, Opim Salim
Springer /2024-11-09 Paperback / 331 Pages
isbn-10: 9819797926 / isbn-13: 9789819797929
Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, ... Computer Science and General Issues)
Springer /2014-09-01 Paperback / 255 Pages
isbn-10: 3662441233 / isbn-13: 9783662441237
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)
Giachino, Elena Hähnle, Reiner de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-08-26 Paperback / 250 Pages
isbn-10: 3642406149 / isbn-13: 9783642406140
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science, 6957)
Aichernig, Bernhard K. de Boer, Frank S. Bonsangue, Marcello M.
Springer /2011-12-12 Paperback / 400 Pages
isbn-10: 3642252702 / isbn-13: 9783642252709
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science, 5751)
Bonsangue, Marcello M. Madelaine, Eric
Springer /2009-09-07 Paperback / 309 Pages
isbn-10: 3642041663 / isbn-13: 9783642041662
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2007-12-18 Paperback / 308 Pages
isbn-10: 3540747915 / isbn-13: 9783540747918
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, 4468)
Bonsangue, Marcello M. Johnsen, Einar Broch
Springer /2007-05-25 Paperback / 327 Pages
isbn-10: 3540729194 / isbn-13: 9783540729198
