Search Results for BİLGİSAYAR AĞI PROTOKOLLERİ -- KONGRELER.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dB$0025C4$0025B0LG$0025C4$0025B0SAYAR$002bA$0025C4$00259EI$002bPROTOKOLLER$0025C4$0025B0$002b--$002bKONGRELER.$0026te$003dILS$0026ps$003d300?2024-11-09T20:03:21ZAutomatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.ent://SD_ILS/0/SD_ILS:373662024-11-09T20:03:21Z2024-11-09T20:03:21ZPreferred Shelf Number TK 5105.5 A97 1990<br/>Format: Books<br/>Availability Beytepe Library~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:373732024-11-09T20:03:21Z2024-11-09T20:03:21ZAuthor 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/>Preferred Shelf Number TK 5105.5 I3426 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984ent://SD_ILS/0/SD_ILS:373722024-11-09T20:03:21Z2024-11-09T20:03:21ZAuthor IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.<br/>Preferred Shelf Number TK 5105.5 I342 1984<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982ent://SD_ILS/0/SD_ILS:373712024-11-09T20:03:21Z2024-11-09T20:03:21ZAuthor IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.<br/>Preferred Shelf Number TK 5105.5 I342 1982<br/>Format: Books<br/>Availability Beytepe Library~1<br/>