Qualité


Notre programme qualité

Dans notre entrepôt à Beauvais, un contrôle qualité est effectué minutieusement sur tous nos livres par nos équipes compétentes avant la mise en vente pour déterminer l’état et vérifier qu’il respecte notre charte de qualité. Certains produits peuvent présenter des signes d’usure minimes, les livres comme les accessoires (CD, cahiers d’exercices…) mais seulement si cela ne nuit pas à la lecture. Si vous rencontrez le moindre problème concernant l’état des livres reçus, cliquez ici, notre équipe en charge du service client est à votre disposition et fait son possible pour vous aider.

Ce contrôle permet de déterminer une classification de nos livres détaillée ci-dessous.

Description de l’état d’un livre :

Très bon :

  • Livre en excellent état, presque comme neuf, il a été lu très peu de fois
  • Présence de quelques marques d’usure mais à peine perceptibles
  • Les pages ne sont ni écornées, ni annotées, ni tachées 
  • La couverture est en parfait état
  • Vous pouvez offrir ce livre à vos proches sans aucun doute !

Bon:

  • Livre déjà lu et usagé
  • Quelques légères marques d’usure (marque de crayon, page un peu écornée)
  • Aucune page n’est manquante
  • La couverture est intacte

Correct:

  • Livre usagé avec des marques d’usure visibles  (marques de crayon, pages écornées, petites annotations)
  • Aucune page n’est manquante, marques d’usure sans nuire à la lecture (marques de crayon, pages écornées, petites annotations)
  • Les accessoires sont présents mais peuvent avoir des marques d’usure
  • La couverture de protection peut être manquante

Verification De Logiciels. Techniques Et Outils Du Model-Checking

Broché - Vuibert - 197 pages - Publication: 03 mai 1999

Audience
Adulte - Haut niveau

Le Pitch

La validation et la vérification des logiciels sont des enjeux majeurs dans le domaine informatique. Cet ouvrage présente en détail le model-checking, une technique de vérification formelle de logiciels. Les auteurs expliquent les principes fondamentaux du model-checking, les questions pratiques liées à l'écriture des propriétés de correction et présentent plusieurs outils. Destiné aux étudiants en informatique et en ingénierie, ce guide en français est le seul ouvrage traitant spécifiquement du model-checking.
Détails du livre

Verification De Logiciels. Techniques Et Outils Du Model-Checking

Broché - Vuibert - 197 pages - Publication: 03 mai 1999

État
 
Prix réduit10,80 €

Paiement sécurisé

Achat engagé

Produit collecté et traité en France.

0 g de CO2eq en moins par rapport au neuf.

Le Pitch

La validation et la vérification des logiciels sont des enjeux majeurs dans le domaine informatique. Cet ouvrage présente en détail le model-checking, une technique de vérification formelle de logiciels. Les auteurs expliquent les principes fondamentaux du model-checking, les questions pratiques liées à l'écriture des propriétés de correction et présentent plusieurs outils. Destiné aux étudiants en informatique et en ingénierie, ce guide en français est le seul ouvrage traitant spécifiquement du model-checking.
Détails du livre

Vous pouvez également aimer

Récemment consultés