 | Key-Hoare.consente di effettuare il calcolo di Hoare nello strumento chiave |
| Scarica ora | |
Key-Hoare. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- GPL
- Prezzo:
- FREE
- Nome editore:
- The KeY Project
- Sito web dell'editore:
- http://www.key-project.org
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 1 KB
Key-Hoare. Tag
Key-Hoare. Descrizione
Ti permette di fare il calcolo di Hoare nello strumento chiave Key-Hoare è un software gratuito e facile da usare costruito sopra la chiave e presenta un calcolo di hoare con gli aggiornamenti. Key-Hoare è utilizzato nella verifica del programma di corso universitaria Chalmers per insegnare il calcolo Hoare.
Key-Hoare. Software correlato
Basilext.
Un grande plug-in taglio finale che consente di personalizzare la posizione del testo. ...
70 KB
