Semantica operazionale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →top: ., typos fixed: ( → (, a : → a: (2) |
m aggiunta Categoria:Logica nell'informatica usando HotCat |
||
Riga 24:
[[Categoria:Concetti di programmazione]]
[[Categoria:Logica nell'informatica]]
|