Search Results for Weber, Michael. - Narrowed by: 2010 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWeber$00252C$002bMichael.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-28T19:54:58Z Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193206 2024-12-28T19:54:58Z 2024-12-28T19:54:58Z Author&#160;Pol, Jaco. editor.&#160;Weber, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> (500) days of Summer A&#351;k&#305;n 500 g&uuml;n&uuml; ent://SD_ILS/0/SD_ILS:320554 2024-12-28T19:54:58Z 2024-12-28T19:54:58Z Author&#160;Webb, Marc.&#160;Tuchinsky, Jessica.&#160;Neustadter, Scott.&#160;Weber, Michael H.&#160;Gordon-Levitt, Joseph, 1981-<br/>Preferred Shelf Number&#160;PN1995.9.L6 D38 2010<br/>Format:&#160;Visual Materials<br/>Availability&#160;Beytepe Library~1<br/>