Hopp til hovedinnhold

Omslagsbilde

Algebraic Specification of Communication Protocols

Veltink, G. J. Mauw, S.

Cambridge Tracts in Theoretical Computer Science

|

Heftet

Produseres på bestilling

Leveringstid: 14-30 virkedager

Omtale

In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.

Utgivelsesdato:

11.12.2008
ISBN:

9780521088121
Språk:

, Engelsk
Forlag:
Cambridge University Press
Fagtema:

, Data- og informasjonsteknologi
Serie:

Cambridge Tracts in Theoretical Computer Science
Litteraturtype:

Faglitteratur
Sider:

212
Høyde:

17.1 cm
Bredde:

24.4 cm