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 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|