Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes
Maurice Margenstern- 01/01/1990
- Elsevier Masson
Résumé
Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés.
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : Maurice Margenstern
- Nombre de pages : 304
- ISBN : 9782225819537
- Date de publication : 1 janvier 1990
- Dimensions (L x H x E cm) : 16 X 24 X 1.8
- Poids (g) : 535
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
