Holzmann, Gerard J.

Design and validation of computer protocols. - Prentice-Hall, 1991. - ( Prentice-Hall Software Series ).

  1. Cote: 21017. En rayon: classement par auteur.