Search Results for Software. - Narrowed by: Graf, Susanne. editor. - SpringerLink (Online service) - English - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dAUTHOR$002509Author$002509Graf$00252C$002bSusanne.$002beditor.$002509Graf$00252C$002bSusanne.$002beditor.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-08-23T16:44:54ZModels, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4829162024-08-23T16:44:54Z2024-08-23T16:44:54ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:1893982024-08-23T16:44:54Z2024-08-23T16:44:54ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1872652024-08-23T16:44:54Z2024-08-23T16:44:54ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1844262024-08-23T16:44:54Z2024-08-23T16:44:54ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850082024-08-23T16:44:54Z2024-08-23T16:44:54ZAuthor Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1830122024-08-23T16:44:54Z2024-08-23T16:44:54ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>