Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-2 di 2

Logic in Computer Science

Modelling and Reasoning about Systems

  • Huth, Michael

All about Maude

a high-performance logical framework : how to specify, program and verify systems in rewriting logic

Risultati 1-2 di 2