Mathematiques Pour Informatique. Avec Exercices Corriges, 3eme Edition

Par : Irène Guessarian, André Arnold

Formats :

Définitivement indisponible
Cet article ne peut plus être commandé sur notre site (ouvrage épuisé ou plus commercialisé). Il se peut néanmoins que l'éditeur imprime une nouvelle édition de cet ouvrage à l'avenir. Nous vous invitons donc à revenir périodiquement sur notre site.
  • Nombre de pages399
  • PrésentationBroché
  • Poids0.65 kg
  • Dimensions16,0 cm × 24,0 cm × 2,0 cm
  • ISBN2-225-82919-5
  • EAN9782225829192
  • Date de parution09/09/1997
  • Collectionenseignement de l'informatique
  • ÉditeurElsevier Masson

Résumé

La troisième édition de cet ouvrage est augmentée notamment des notions de base nécessaires à l'apprentissage de la programmation logique et des bases de données déductives et propose des exemples et des exercices inédits tirés de ce domaine. Elle intègre également dans ses applications la méthode des preuves de programmes par assertions de Hoare et son utilisation dans la résolution d'un problème.
La troisième édition de cet ouvrage est augmentée notamment des notions de base nécessaires à l'apprentissage de la programmation logique et des bases de données déductives et propose des exemples et des exercices inédits tirés de ce domaine. Elle intègre également dans ses applications la méthode des preuves de programmes par assertions de Hoare et son utilisation dans la résolution d'un problème.