Mon panier

Frais de livraison

Offerts !

Total 0,00 €
Voir mon panier

Paiement 100% sécurisé

Paiement avec CB Paiement avec carte Visa Paiement avec carte Mastercard
Comprendre les méthodes formelles : panorama des outils logiques

Format : Broché


Edition : Elsevier Masson



Date de publication : 1996


Nombre de pages : 328


ISBN : 9782225853043


Auteur : Jean-François Monin


Dimensions (L x H x E, cm) : 16 x 24 x 1.5


Poids (g) : 573


Photo non contractuelle

Jean-François Monin

Comprendre les méthodes formelles : panorama des outils logiques

Comprendre les méthodes formelles : panorama des outils logiques

1 en stock

Tout savoir sur l’état des livres

RecycLivre répertorie ses livres selon 4 états correspondant à la qualité de ces derniers comme suit :
  • "Comme neuf" : a l'aspect d'un livre neuf, ne comporte aucune marque. La jaquette d'origine est présente.
  • "Très bon" : comporte des défauts minimes, et la tranche peut avoir une légère pliure.
  • "Bon" : comporte de légers défauts esthétiques visibles. La couverture peut avoir des pliures, les pages peuvent avoir des marques d'usure sans être cornées ou jaunies.
  • "État Acceptable" : comporte des signes d'usure, qui n'empêchent cependant pas la lecture.

A noter : la mention bibliothèque signifie que le livre est plastifié et étiqueté car c'est un ancien support de bibliothèque.

Wishlist
Résumé
Les méthodes formelles sont des outils informatiques permettant la réalisation de logiciels sûrs et fiables, de la conception à la mise en oeuvre. Celles-ci peuvent être abordées par la logique qui en constitue un des fils directeurs. Cet ouvrage présente cette démarche.

Les méthodes formelles sont des outils informatiques permettant la réalisation de logiciels sûrs et fiables, de la conception à la mise en oeuvre. Celles-ci peuvent être abordées par la logique qui en constitue un des fils directeurs. Cet ouvrage présente cette démarche.


Format : Broché


Edition : Elsevier Masson


Date de publication : 1996


Nombre de pages : 328


ISBN : 9782225853043


Auteur : Jean-François Monin


Classement : 3000000


Dimensions (L x H x E, cm) : 16 x 24 x 1.5


Poids (g) : 573


Photo non contractuelle


Livraison rapide et incluse Livraison rapide et incluse

Vous recevrez votre commande dans les 3 à 5 jours.

+3 millions de clients +3 millions de clients

Nous ont déjà fait confiance depuis 2008.

Service client disponible

Votre satisfaction est notre priorité

Paiement avec CB Paiement avec carte Visa Paiement avec carte Mastercard

Sécurité Sécurité

Soyez rassurés : les transactions sont 100% sécurisées.

Un geste solidaire Un geste solidaire

Collecte de vos livres à domicile

Avis des internautes

Donnez votre avis sur le contenu du livre Comprendre les méthodes formelles : panorama des outils logiques !
Pour tout autre commentaire ou question, contactez-nous.