Télécharger le livre :  The Austin Protocol Compiler
Ajouter à ma liste d'envies
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol...

Editeur : Springer
Parution : 2006-01-20
Collection : Advances in Information Security
PDF

94,94