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

Logique temporelle: Sémantique et validation des programmes parallèles

Relié - Elsevier Masson - 232 pages - Publication: 01 février 1990

Le Pitch

Ce livre aborde la logique temporelle, un domaine des sciences informatiques qui permet de spécifier et de vérifier le comportement des systèmes informatiques concurrents. L'auteur explore les fondements de cette logique, sa sémantique et ses applications à la validation de programmes parallèles. Il propose des méthodes formelles pour garantir la correction des systèmes informatiques en tenant compte de leur aspect temporel. Cet ouvrage s'adresse aux étudiants et aux chercheurs en informatique intéressés par la vérification formelle des programmes.
Détails du livre

Logique temporelle: Sémantique et validation des programmes parallèles

Relié - Elsevier Masson - 232 pages - Publication: 01 février 1990

État
 
 
Il ne reste plus que 1 exemplaire(s) en stock
Prix réduit19,89 €

Livraison

Livré entre : 24 novembre - 27 novembre
Livraison gratuite (FR et BE) à partir de 20 €

Retour GRATUIT sous 14 jours.


Paiement sécurisé

Achat engagé

Produit collecté et traité en France.

1296 g de CO2eq en moins par rapport au neuf.

Le Pitch

Ce livre aborde la logique temporelle, un domaine des sciences informatiques qui permet de spécifier et de vérifier le comportement des systèmes informatiques concurrents. L'auteur explore les fondements de cette logique, sa sémantique et ses applications à la validation de programmes parallèles. Il propose des méthodes formelles pour garantir la correction des systèmes informatiques en tenant compte de leur aspect temporel. Cet ouvrage s'adresse aux étudiants et aux chercheurs en informatique intéressés par la vérification formelle des programmes.
Détails du livre

Vous pouvez également aimer

Récemment consultés