Search Results for Software engineering. - Narrowed by: Computation by Abstract Devices. - Computer communication systems. - Mathematical logic. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Computation$002bby$002bAbstract$002bDevices.$002509Computation$002bby$002bAbstract$002bDevices.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bcommunication$002bsystems.$002509Computer$002bcommunication$002bsystems.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300$0026isd$003dtrue? 2024-08-23T03:03:48Z Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:23946 2024-08-23T03:03:48Z 2024-08-23T03:03:48Z Yazar&#160;McMillan, Kenneth L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54013-4">http://dx.doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ent://SD_ILS/0/SD_ILS:18621 2024-08-23T03:03:48Z 2024-08-23T03:03:48Z Yazar&#160;Jobstmann, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49122-5">http://dx.doi.org/10.1007/978-3-662-49122-5</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings ent://SD_ILS/0/SD_ILS:24702 2024-08-23T03:03:48Z 2024-08-23T03:03:48Z Yazar&#160;D&rsquo;Souza, Deepak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46081-8">http://dx.doi.org/10.1007/978-3-662-46081-8</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18009 2024-08-23T03:03:48Z 2024-08-23T03:03:48Z Yazar&#160;Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39570-8">http://dx.doi.org/10.1007/978-3-319-39570-8</a><br/>Format:&#160;Electronic Resources<br/>