Présentation de l'auteur Talia Ringer :

Livres publiés jusqu'à présent par Talia Ringer :

Qed at Large : Une enquête sur l'ingénierie des logiciels formellement vérifiés - Qed at Large: A...
New Publ Inc
Le développement de preuves formelles de...
Qed at Large : Une enquête sur l'ingénierie des logiciels formellement vérifiés - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
1
>>