Spécifications algébriques, algorithmique et programmation / Jean-François DUFOURD

Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François DUFOURD ; Dominique BECHMANN ; Yves BERTRAND Editeur : InterEditions Année de publication : 1995 Importance : 486 p. ISBN/ISSN/EAN : 978-2-7296-0581-0 Note générale : Table des matières Avant-propos Références Index Catégories : Algorithmes Génie logiciel Programmation Index. décimale : 005.13 Langages de programmation Résumé : SPECIFICATION ET PROGRAMME Construction de programmes Spécifications algébriques : 1., le cas équationnel pur Spécifications algébriques : 2., le cas général Implantation et programmation Spécifications étendues Piles, files et listes linéaires Suppression de la récursivité Complexité et optimalité STRUCTURES ET ALGORITHMES Tables Graphes : 1., Spécification et implantation Graphes : 2., Algorithmes classiques Arbres et forêts : 1., Spécification et implantation arbres et forêts : 2., Algorithmes et variétés d'arbres Tris internes Fichiers Tris externes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000472	005.13 DUF	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200