Search Results for - Narrowed by: Computer science. - Graf, Susanne. editor.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dAUTHOR$002509Author$002509Graf$00252C$002bSusanne.$002beditor.$002509Graf$00252C$002bSusanne.$002beditor.$0026ps$003d300?2024-06-05T00:09:28ZFormal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:5038552024-06-05T00:09:28Z2024-06-05T00:09:28Zby Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5128342024-06-05T00:09:28Z2024-06-05T00:09:28Zby Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118352024-06-05T00:09:28Z2024-06-05T00:09:28Zby Graf, Susanne. editor.<br/><a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:5114112024-06-05T00:09:28Z2024-06-05T00:09:28Zby Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:5103112024-06-05T00:09:28Z2024-06-05T00:09:28Zby Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>