Sciences du logiciel
EnseignementCours – Logiques de programmes : quand la machine raisonne sur ses logicielsDe même qu’une logique mathématique permet de démontrer des propriétés des objets mathématiques, une logique de programme permet de démontrer des propriétés d’un programme informatique et de toutes ses exécutions...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Francês |
| Pubblicazione: |
Collège de France
2024
|
| Soggetti: | |
| Accesso online: | https://doi.org/10.4000/12kth https://hdl.handle.net/20.500.13089/12kth https://journals.openedition.org/annuaire-cdf/19165 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|