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...
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
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)