Search Results for - Narrowed by: Logics and Meanings of Programs. - Stafford, Judith A. editor. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Author$002509Stafford$00252C$002bJudith$002bA.$002beditor.$002509Stafford$00252C$002bJudith$002bA.$002beditor.$0026ps$003d300? 2024-06-17T20:09:05Z Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512692 2024-06-17T20:09:05Z 2024-06-17T20:09:05Z by&#160;Schmidt, Heinz W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format:&#160;Electronic Resources<br/> Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:513045 2024-06-17T20:09:05Z 2024-06-17T20:09:05Z by&#160;Overhage, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format:&#160;Electronic Resources<br/> Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:511324 2024-06-17T20:09:05Z 2024-06-17T20:09:05Z by&#160;Reussner, Ralf H. editor.<br/><a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format:&#160;Electronic Resources<br/> Component-Based Software Engineering 9th International Symposium, CBSE 2006, V&auml;ster&aring;s, Sweden, June 29 - July 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511299 2024-06-17T20:09:05Z 2024-06-17T20:09:05Z by&#160;Gorton, Ian. editor.<br/><a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format:&#160;Electronic Resources<br/> Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510419 2024-06-17T20:09:05Z 2024-06-17T20:09:05Z by&#160;Reussner, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format:&#160;Electronic Resources<br/> Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510412 2024-06-17T20:09:05Z 2024-06-17T20:09:05Z by&#160;Heineman, George T. editor.<br/><a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format:&#160;Electronic Resources<br/>