Resultats de la cerca - Lano, K.

  • Mostrar 1 - 1 resultats de 1
Refinar resultats
  1. 1
    Specification in B: an introduction using the B toolkit

    Specification in B: an introduction using the B toolkit per Lano, K.

    Publicat 1996
    Llibre
    Afegir a favorits
    Guardat en:

Eines de cerca: