Arama Sonu&ccedil;lar&#305; Watson, Bruce. - Daralt&#305;lm&#305;&#351;: Online Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dWatson$00252C$002bBruce.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300? 2025-12-30T14:49:07Z The Correctness-by-Construction Approach to Programming ent://SD_ILS/0/SD_ILS:196299 2025-12-30T14:49:07Z 2025-12-30T14:49:07Z Yazar&#160;Kourie, Derrick G. author.&#160;Watson, Bruce W. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27919-5">http://dx.doi.org/10.1007/978-3-642-27919-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192736 2025-12-30T14:49:07Z 2025-12-30T14:49:07Z Yazar&#160;Yli-Jyr&auml;, Anssi. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Sakarovitch, Jacques. editor.&#160;Watson, Bruce. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14684-8">http://dx.doi.org/10.1007/978-3-642-14684-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>