Présentation de l'auteur Daniel Kroening :

Livres publiés jusqu'à présent par Daniel Kroening :

Procédures de décision : Un point de vue algorithmique - Decision Procedures: An Algorithmic Point...
Springer Nature
Une procédure de décision est un algorithme qui,...
Procédures de décision : Un point de vue algorithmique - Decision Procedures: An Algorithmic Point of View
<<
1
>>