Search Results for - Narrowed by: Palsberg, Jens. editor. - English - Logic design. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Palsberg$00252C$002bJens.$002beditor.$002509Palsberg$00252C$002bJens.$002beditor.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300? 2024-06-16T14:05:45Z Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085578 2024-06-16T14:05:45Z 2024-06-16T14:05:45Z by&#160;Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format:&#160;Electronic Resources<br/> Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings ent://SD_ILS/0/SD_ILS:503593 2024-06-16T14:05:45Z 2024-06-16T14:05:45Z by&#160;Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:510824 2024-06-16T14:05:45Z 2024-06-16T14:05:45Z by&#160;Hermanns, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format:&#160;Electronic Resources<br/>