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...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Francês |
| Publicado em: |
Collège de France
2024
|
| Assuntos: | |
| Acesso em linha: | https://doi.org/10.4000/12kth https://hdl.handle.net/20.500.13089/12kth https://journals.openedition.org/annuaire-cdf/19165 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|