Search Results for Alexander, Michael. - Narrowed by: Mathematical Logic and Formal Languages. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dAlexander$00252C$002bMichael.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300? 2024-07-06T22:57:12Z Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222116 2024-07-06T22:57:12Z 2024-07-06T22:57:12Z Yazar&#160;Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Electronic Resources<br/> Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:225792 2024-07-06T22:57:12Z 2024-07-06T22:57:12Z Yazar&#160;Day, Adam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format:&#160;Electronic Resources<br/>