Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-1 di 1

Logic in Computer Science

Modelling and Reasoning about Systems

  • Huth, Michael

Risultati 1-1 di 1