Search Results for - Narrowed by: Mathematical logic. - Logics and Meanings of Programs. - Computer system failures. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026ps$003d300? 2024-05-20T05:21:37Z Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427687 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428340 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441<br/><a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format:&#160;Electronic Resources<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428950 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Biondi, Fabrizio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:428981 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Electronic Resources<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429095 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Hutton, Graham. editor. (orcid)0000-0001-9584-5150<br/><a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format:&#160;Electronic Resources<br/> Automated Deduction &ndash; CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428186 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Fontaine, Pascal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:428642 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format:&#160;Electronic Resources<br/> From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:428765 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428104 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Electronic Resources<br/> Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18233 2024-05-20T05:21:37Z 2024-05-20T05:21:37Z Yazar&#160;Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format:&#160;Electronic Resources<br/>