Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Suggerer acquisition Affiner la recherche
Monographie imprimée
Oussama BENTERKI, Auteur ; MAN : BIG HUGE, Auteur ; Samir Tigane, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2015Les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l’aide de logique mathématique, sur des programmes informatiques ou du matériel électroniques, afin de démontrer leur validité par rapport à une certaine spéc[...]
