Sell, buy or rent Marcello M. Bonsangue textbooks
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science, 4111)
by
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
ISBN-13: 9783540367499
ISBN-10: 3540367497
Edition: 2006
Publisher:
Springer
Format:
Paperback
437 pages
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)
by
Marcello M. Bonsangue, Eric Madelaine
ISBN-13: 9783642041662
ISBN-10: 3642041663
Edition: 2009
Publisher:
Springer
Format:
Paperback
309 pages
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science, 3188)
by
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
ISBN-13: 9783540229421
ISBN-10: 3540229426
Edition: 2004
Publisher:
Springer
Format:
Paperback
379 pages
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)
by
Marcello M. Bonsangue
ISBN-13: 9783662441237
ISBN-10: 3662441233
Edition: 2014
Publisher:
Springer
Format:
Paperback
255 pages
Data Science and Artificial Intelligence: First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings (Communications in Computer and Information Science)
by
Chutiporn Anutariya, Marcello M. Bonsangue
ISBN-13: 9789819979684
ISBN-10: 9819979684
Edition: 1st ed. 2023
Publication date: 2023
Publisher:
Springer
Format:
Paperback
388 pages
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science, 6286)
by
Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
ISBN-13: 9783642170706
ISBN-10: 3642170706
Edition: 2010
Publication date: 2011
Publisher:
Springer
Format:
Paperback
349 pages