Logique Volume 2, Méthodes formelles pour l'étude des programmes

Logique Volume 2, Méthodes formelles pour l'étude des programmes

Consulter un extrait Télécharger un extrait
La théorie des ensembles et ses méthodes d'application.

Détails du livre

Vous aimerez aussi

Courbes elliptiques : une présentation élémentaire pour la cryptographie

PDF
Ajouter au panier Ajouter au panier
$72,95
Courbes elliptiques : une présentation élémentaire pour la cryptographie

Algèbre linéaire dans R : théorie, algorithmes et complexité

PDF
Ajouter au panier Ajouter au panier
$69,95
Algèbre linéaire dans R : théorie, algorithmes et complexité

Vecteurs, fonctions et distributions aléatoires dans les espaces de Hilbert : analyse harmonique et prévision

PDF
Ajouter au panier Ajouter au panier
$85,95
Vecteurs, fonctions et distributions aléatoires dans les espaces de Hilbert : analyse harmonique et prévision

Probabilités pour l'ingénieur : des fondements aux calculs

PDF
Ajouter au panier Ajouter au panier
$121,95
Probabilités pour l'ingénieur : des fondements aux calculs