Ingénierie de la spécialisation de programmes : 2 : Techniques avancées

Ingénierie de la spécialisation de programmes : 2 Techniques avancées

L'évaluation partielle, ou spécialisation de programmes, permet de rendre les programmes plus petits et plus rapides lorsque certaines entrées peuvent être connues à l'avance. L'ouvrage détaille diverses analyses de programmes et s'intéresse aux programmes incomplets, aux sous-pr...

Description complète

Détails bibliographiques
Auteur principal : Marlet Renaud (Auteur)
Format : Livre
Langue : français
Titre complet : Ingénierie de la spécialisation de programmes. 2, Techniques avancées / Renaud Marlet
Publié : Paris : Hermès science , impr. 2011, cop. 2011
Lavoisier
Description matérielle : 1 vol. (343 p.)
Collection : Collection Logique et programmation
Sujets :
Génie logiciel
Logiciels > Développement
Documents associés : Techniques avancées: Ingénierie de la spécialisation de programmes

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Rez-de-chaussée, salle 2 005.13 MAR Empruntable Disponible