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)

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) (ISBN-13: 9783540367499 and ISBN-10: 3540367497), written by authors Willem-Paul de Roever, Marcello M. Bonsangue, Susanne Graf, Frank S. de Boer, was published by Springer in 2006. With an overall rating of 4.0 stars, it's a notable title among other books. You can easily purchase or rent 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) (Paperback) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.