Hyper-v
Codingtalk#6 – Introduction à la preuve des programmes
Dans ce CodingTalk #6, Tony_kero, membre de longue date de Codinglab, vient nous parler de la preuve des programmes, ce qu’ils apportent et leur nécessité dans des environnements critiques.
Retrouvez Tony_kero sur les réseaux sociaux :
Twitter:
Github:
Les liens importants de Codinglab:
Discord :
Github:
Twitter :
Youtube : (abonnez vous)
Website :
[ad_2]
source