Search Results for Logic. - Narrowed by: Schewe, Klaus-Dieter. editor. - Computers. - Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dAUTHOR$002509Author$002509Schewe$00252C$002bKlaus-Dieter.$002beditor.$002509Schewe$00252C$002bKlaus-Dieter.$002beditor.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-19T05:38:15Z ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487888 2024-07-19T05:38:15Z 2024-07-19T05:38:15Z Author&#160;Boniol, Frederic. editor.&#160;Wiels, Virginie. editor.&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488966 2024-07-19T05:38:15Z 2024-07-19T05:38:15Z Author&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>