Arama Sonu&ccedil;lar&#305; Formal methods (Computer science) SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026ps$003d300?dt=list 2026-07-26T01:37:20Z Software specification methods ent://SD_ILS/0/SD_ILS:978848 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Habrias, Henri.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=700744">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Formal methods applied to complex systems : implementation of the B method ent://SD_ILS/0/SD_ILS:1034970 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Boulanger, Jean-Louis, editor.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1752713">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea ent://SD_ILS/0/SD_ILS:1062433 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;FORTE 2001 (2001 : Cheju-do, Korea)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3035646">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Principles of cyber-physical systems ent://SD_ILS/0/SD_ILS:1082431 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Alur, Rajeev, 1966- author.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3339972">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Teamwork in multi-agent systems a formal approach ent://SD_ILS/0/SD_ILS:964882 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Dunin-K&#553;plicz, Barbara.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=537381">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Communicating embedded systems software and design : formal methods ent://SD_ILS/0/SD_ILS:1008437 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Jard, Claude.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1124321">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Verification techniques for system-level design ent://SD_ILS/0/SD_ILS:943156 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Fujita, Masahiro, 1956-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=318151">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking ent://SD_ILS/0/SD_ILS:939539 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Drusinsky, Doron.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=294269">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Formal method industrial use from model to the code ent://SD_ILS/0/SD_ILS:1010590 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Boulanger, Jean-Louis.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1143602">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking ent://SD_ILS/0/SD_ILS:1188006 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Drusinsky, Doron.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750679497">http://www.sciencedirect.com/science/book/9780750679497</a><br/>Format:&#160;Elektronik Kaynak<br/> Computers in language research 2 ent://SD_ILS/0/SD_ILS:1064306 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Sedelow, Walter A.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3040663">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/> Cafe : an industrial-strength algebraic formal method ent://SD_ILS/0/SD_ILS:1186207 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Futatsugi, Kokichi.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444505569">https://www.sciencedirect.com/science/book/9780444505569</a><br/>Format:&#160;Elektronik Kaynak<br/> Verification techniques for system-level design ent://SD_ILS/0/SD_ILS:1189174 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Fujita, Masahiro, 1956-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780123706164">https://www.sciencedirect.com/science/book/9780123706164</a><br/>Format:&#160;Elektronik Kaynak<br/> Real-life Applications with Membrane Computing ent://SD_ILS/0/SD_ILS:481265 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Zhang, Gexiang. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-55989-6">http://dx.doi.org/10.1007/978-3-319-55989-6</a><br/>Format:&#160;Elektronik Kaynak<br/> Current Trends on Knowledge-Based Systems ent://SD_ILS/0/SD_ILS:481007 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;Alor-Hern&aacute;ndez, Giner. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-51905-0">http://dx.doi.org/10.1007/978-3-319-51905-0</a><br/>Format:&#160;Elektronik Kaynak<br/> Computability, complexity, logic ent://SD_ILS/0/SD_ILS:1191710 2026-07-26T01:37:20Z 2026-07-26T01:37:20Z by&#160;B&ouml;rger, E. (Egon), 1946-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128</a><br/>Format:&#160;Elektronik Kaynak<br/>