Arama Sonuçları BILGISAYAR AĞI. - Daraltılmış: 1990SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dBILGISAYAR$002bA$0025C4$00259EI.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091990$0025091990$0026te$003dILS$0026ps$003d300?2025-01-19T22:13:08ZAutomatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.ent://SD_ILS/0/SD_ILS:373662025-01-19T22:13:08Z2025-01-19T22:13:08ZYer Numarası TK 5105.5 A97 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989ent://SD_ILS/0/SD_ILS:373732025-01-19T22:13:08Z2025-01-19T22:13:08ZYazar IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification (9th : 1989 : Enschede, The Netherlands) Brinksma, E., ed. Scollo, G., ed. Vissers, C.A., ed.<br/>Yer Numarası TK 5105.5 I3426 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>