Paperback Book
显示无货商品

Marcello M Bonsangue的作品

Cover for Marcello M Bonsangue · Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2014 edition] (2014)

Coalgebraic Methods in Computer ... (2014)

Marcello M Bonsangue

Cover for Marcello M Bonsangue · 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 (Paperback Book) [2008 edition] (2008)

Formal Methods for Components an... (2008)

Marcello M Bonsangue

Cover for Marcello M Bonsangue · Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - Programming and Software Engineering (Paperback Book) [2007 edition] (2007)

Formal Methods for Components an... (2007)

Marcello M Bonsangue

Cover for Marcello M Bonsangue · 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 (Paperback Book) [2007 edition] (2007)

Formal Methods for Open Object-B... (2007)

Marcello M Bonsangue