Il Sistema Maude: Strategie e Parametrizzazione

GENTILE, FABIO
2019/2020

2019
The Maude System: Strategies and Parameterization
File in questo prodotto:
File Dimensione Formato  
Tesi.pdf

accesso solo dalla rete interna

Descrizione: Un'introduzione generale sulla composizione del sistema Maude, approfondendo gli aspetti di parametrizzazione e strategie che lo contraddistinguono con interessanti casi di studio.
Dimensione 468.53 kB
Formato Adobe PDF
468.53 kB Adobe PDF   Contatta l'autore

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12319/744