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: 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

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