Arama Sonuçları - Daraltılmış: English - 0984 - 2001SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$0025090984$0025090984$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092001$0025092001$0026ps$003d300?2024-05-25T19:33:20ZFormal Methods Applied to the Specification of an Active Network Nodeent://SD_ILS/0/SD_ILS:6962232024-05-25T19:33:20Z2024-05-25T19:33:20Zby Kong, Cindy, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10857380">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10857380</a><br/>Format: Kitap<br/>