Risultati della ricerca - Lano, K.

  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Specification in B: an introduction using the B toolkit

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

    Pubblicazione 1996
    Libro
    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: