Arama Sonu&ccedil;lar&#305; Formal methods (Computer science) -- Congresses. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$002b--$002bCongresses.$0026ps$003d300? 2026-01-26T09:09:35Z Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012) ent://SD_ILS/0/SD_ILS:280386 2026-01-26T09:09:35Z 2026-01-26T09:09:35Z Yazar&#160;FOIS (Conference) (7th : 2012 : Graz, Austria)&#160;Donnelly, Maureen.&#160;Guizzardi, Giancarlo.&#160;IOS Press.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950</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 2026-01-26T09:09:35Z 2026-01-26T09:09:35Z 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/>