Arama Sonu&ccedil;lar&#305; Formal methods (Computer science) - Daralt&#305;lm&#305;&#351;: 2000 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092000$0025092000$0026ps$003d300?dt=list 2025-12-06T14:53:54Z Dynamic logic ent://SD_ILS/0/SD_ILS:219967 2025-12-06T14:53:54Z 2025-12-06T14:53:54Z Yazar&#160;Harel, David, 1950-&#160;Kozen, Dexter, 1951-&#160;Tiuryn, Jerzy.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cafe an industrial-strength algebraic formal method ent://SD_ILS/0/SD_ILS:253753 2025-12-06T14:53:54Z 2025-12-06T14:53:54Z Yazar&#160;Futatsugi, Kokichi.&#160;Tamai, T. (Tetsuo)&#160;Nakagawa, A. T. (Ataru T.)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>