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...
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | Artigo |
| भाषा: | Francês |
| प्रकाशित: |
Collège de France
2024
|
| विषय: | |
| ऑनलाइन पहुंच: | https://doi.org/10.4000/12kth https://hdl.handle.net/20.500.13089/12kth https://journals.openedition.org/annuaire-cdf/19165 |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|