analisi degli esercizi svolti in Isabelle con introduzione a HOL e ISARspiegazione del procedimento di svolgimento
Programmazione e verifica. il proof-assistant Isabelle
DI PIETRO, MICHEL
2019/2020
Abstract
analisi degli esercizi svolti in Isabelle con introduzione a HOL e ISARspiegazione del procedimento di svolgimentoFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
798360_programmazioneeverificailproof-assistantisabelle.pdf
non disponibili
Tipologia:
Altro materiale allegato
Dimensione
638.49 kB
Formato
Adobe PDF
|
638.49 kB | Adobe PDF |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14240/124492