skip to main content
Lingue:

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

CLAVEL, Manuel

Berlin etc. : Springer, copyr. 2007

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2161508710003316()

Ricerca in corso nelle risorse remote ...