Search Results for - Narrowed by: Springer E-Book Collection - Mathematical Logic and Formal Languages. - &Aacute;brah&aacute;m, Erika. editor. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dAUTHOR$002509Yazar$002509$0025C3$002581brah$0025C3$0025A1m$00252C$002bErika.$002beditor.$002509$0025C3$002581brah$0025C3$0025A1m$00252C$002bErika.$002beditor.$0026ps$003d300? 2024-05-17T12:17:52Z Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:17549 2024-05-17T12:17:52Z 2024-05-17T12:17:52Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format:&#160;Electronic Resources<br/> Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17875 2024-05-17T12:17:52Z 2024-05-17T12:17:52Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33693-0">http://dx.doi.org/10.1007/978-3-319-33693-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24405 2024-05-17T12:17:52Z 2024-05-17T12:17:52Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43613-4">http://dx.doi.org/10.1007/978-3-662-43613-4</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24055 2024-05-17T12:17:52Z 2024-05-17T12:17:52Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>