Search Results for Meseguer, José. - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dMeseguer$00252C$002bJos$0025C3$0025A9.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?2024-10-05T17:57:40ZLogic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:232702024-10-05T17:57:40Z2024-10-05T17:57:40ZYazar Martí-Oliet, Narciso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23165-5">http://dx.doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Electronic Resources<br/>Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugient://SD_ILS/0/SD_ILS:240212024-10-05T17:57:40Z2024-10-05T17:57:40ZYazar Iida, Shusaku. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54624-2">http://dx.doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Electronic Resources<br/>Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4288602024-10-05T17:57:40Z2024-10-05T17:57:40ZYazar Guttman, Joshua D. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>