UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

UGent (1)

ULiège (1)

UNamur (1)

Resource type

book (2)

Language

English (2)

Year

From To

1987 (1)

1983 (1)

Listing 1 - 2 of 2
Sort by

Protocol specification, testing and verification III
Authors: West, Colin H. --- Rudin, Harry --- IFIP WG 6.1 International workshop on protocol specification, testing, and verification (3rd : 1983 : Rüschlikon)
ISBN: 0444867694 9780444867698 Year: 1983 Publisher: Amsterdam: North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer network protocols --- Protocoles de réseaux d'ordinateurs --- Congresses --- Congrès --- 681.3*C22 --- Network protocols: protocol architecture; protocol verification --- 681.3*C22 Network protocols: protocol architecture; protocol verification

Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 seventh international conference on protocol specification, testing, and verification, Zurich, Switzerland, 5-8 May, 1987
Authors: Rudin, Harry --- West, Colin H. --- IFIP Working Group 6.1 International conference on protocol specification, testing, and verification --- IBM Zürich Research Laboratory --- International Federation for Information Processing.
ISBN: 0444702938 Year: 1987 Publisher: Amsterdam ; New York ; Oxford : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer network protocols --- Protocoles de réseaux d'ordinateurs --- Protocoles de réseaux d'ordinateurs. --- Protocoles de réseaux d'ordinateurs.

Listing 1 - 2 of 2
Sort by