Search Results for Formal methods (Computer science) - Narrowed by: 2001 SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092001$0025092001$0026ps$003d300?dt=list 2026-09-18T18:25:30Z 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-09-18T18:25:30Z 2026-09-18T18:25:30Z 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;Electronic Resources<br/>