Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
texte imprimé
Intéresse les personnes ayant déjà une certaine pratique de la programmation et qui désirent acquérir des connaissances plus approfondies, en particulier sur la preuve de la correction des programmes et sur leur évaluation.
texte imprimé
