Search Results for Software engineering. - Narrowed by: Margaria, Tiziana. editor. - Information storage and retrieval systems. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dAUTHOR$002509Author$002509Margaria$00252C$002bTiziana.$002beditor.$002509Margaria$00252C$002bTiziana.$002beditor.$0026qf$003dSUBJECT$002509Subject$002509Information$002bstorage$002band$002bretrieval$002bsystems.$002509Information$002bstorage$002band$002bretrieval$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-09T16:49:14Z Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197548 2024-09-09T16:49:14Z 2024-09-09T16:49:14Z Author&#160;H&auml;hnle, Reiner. editor.&#160;Knoop, Jens. editor.&#160;Margaria, Tiziana. editor.&#160;Schreiner, Dietmar. editor.&#160;Steffen, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34781-8">http://dx.doi.org/10.1007/978-3-642-34781-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing &ndash; ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189307 2024-09-09T16:49:14Z 2024-09-09T16:49:14Z Author&#160;Bouguettaya, Athman. editor.&#160;Krueger, Ingolf. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89652-4">http://dx.doi.org/10.1007/978-3-540-89652-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>