.

Personnaliser

OK

Aujourd'hui seulement ! 15€ et 80€ offerts* dès 119€ et 999€ d'achat sur le site avec les codes : RAKUTEN15 et RAKUTEN80

En profiter

RecycLivre
avatar logo
RecycLivre
icons /french flag

Pro

icons / nav24 / chevron right
4,8/5 sur + de 1 000 ventes

Mentions légales

Spécifications Algébriques, Algorithmique Et Programmation - Bechmann Dominique

Note : 5

1 avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Prix neuf 54,50 €

-59%

Qu'est-ce que le prix barré ?

C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.

En savoir plus

21,87 €

Occasion · Très Bon État

-5 € avec le code RECY529 pour tout achat de 29 € minimum chez ce vendeur.
1,09 € offerts
  • Livraison GRATUITE
  • Livré entre le 5 et le 9 juin
Voir les modes de livraison

RecycLivre

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme. Expédition depuis la France.

Voir plus d'annonces
sur tout le site Rakuten
 
Vous avez choisi le retrait chez le vendeur à
  • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
  • Récupérez le produit directement chez le vendeur
  • Rakuten vous rembourse en cas de problème

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

En savoir plus

Retour

Horaires

      Note :

      Présentation Spécifications Algébriques, Algorithmique Et Programmation de Bechmann Dominique Format Broché

       - Livre Informatique

      Livre Informatique - Bechmann Dominique - 01/10/1995 - Broché

      . .

    • Auteur(s) : Bechmann Dominique - Bertrand Yves - Dufourd Jean-François
    • Editeur : Intereditions
    • Collection : IIA
    • Parution : 01/10/1995
    • Nombre de pages : 486
    • Nombre de livres : 1
    • Expédition : 845
    • Dimensions : 23 x 15.8 x 2.8
    • ISBN : 9782729605810



    • Résumé :
      L'ambition de cet ouvrage est de couvrir tout le processus allant de la spécification abstraite d'un problème à sa programmation en proposant des méthodes et outils réalistes et éprouvés. Il aborde ainsi la spécification des données et opérations, fondée sur les techniques algébriques, fournit des méthodes de transformation rigoureuses, conduisant à des algorithmes sûrs et bien documentés, et montre comment effectuer leur transcription en langage C. Il étudie en outre de manière systématique, avec des spécifications algébriques, les structures de données de base pour ranger, rechercher, trier des données et gérer un espace mémoire, et introduit les notions liées à la complexité des algorithmes. De nombreux sujets d'exercices, problèmes et projets complètent la présentation. L'ouvrage est destiné aux étudiants de licence maîtrise d'informatique, de MIAGE, des IUP d'informatique et des écoles d'ingénieurs. il sera aussi utile aux étudiants de DESS et aux développeurs de logiciel.

      Biographie:
      Jean-François Dufourd est professeur d'informatique à l'université Louis-Pasteur de Strasbourg. Dominique Bechmann et Yves Bertrand y sont respectivement maître de conférences et chargé de recherches CNRS.

      Sommaire:
      ["Construction de programmes","Spécifications algébriques : le cas équationnel pur","Spécifications algébriques : 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é","Tables","Graphes : spécification et implantation","Graphes : algorithmes classiques","Arbres et forêts : spécification et implantation","Arbres et forêts : algorithmes et variétés d'arbres","tris internes","Fichiers","Tris externes."]

      © Notice établie par DECITRE, libraire

      Détails de conformité du produit

      Consulter les détails de conformité de ce produit (

      Personne responsable dans l'UE

      )

      Avis sur Spécifications Algébriques, Algorithmique Et Programmation de Bechmann Dominique Format Broché  - Livre Informatique

      Note : 5 1 avis sur Spécifications Algébriques, Algorithmique Et Programmation de Bechmann Dominique Format Broché  - Livre Informatique

      Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


      Le choixNeuf et occasion
      Minimum5% remboursés
      La sécuritéSatisfait ou remboursé
      Le service clientsÀ votre écoute
      LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
      visavisa
      mastercardmastercard
      klarnaklarna
      paypalpaypal
      floafloa
      americanexpressamericanexpress
      Rakuten Logo
      • Rakuten Kobo
      • Rakuten TV
      • Rakuten Viber
      • Rakuten Viki
      • Plus de services
      • À propos de Rakuten
      Rakuten.com