Search Results for BİLGİSAYAR AĞI PROTOKOLLERİ -- KONGRELER.

4 Results Found

0000DEFAULT

Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989

Author

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.

Preferred Shelf Number

TK 5105.5 I3426 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

Automatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.

Preferred Shelf Number

TK 5105.5 A97 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

Cover image for Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984

Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984

Author

IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.

Preferred Shelf Number

TK 5105.5 I342 1984

Format:

Availability

Beytepe Library~1

Available:
Copies:

Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982

Author

IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.

Preferred Shelf Number

TK 5105.5 I342 1982

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}