Couverture du produit · Introduction aux méthodes formelles. 2ème édition
Spécifications

Introduction aux méthodes formelles. 2ème édition

Jean-François Monin

Hermes Science Publications
2000
18,37 €
État : Bon Ancien livre de bibliothèque. Légères traces d’usure sur la couverture. Edition 2000.
Même produit, autres offres :

À propos

Combien coûtent les ambiguïtés, les imprécisions et les incohérences qui se cachent dans les spécifications des grands logiciels, obligeant concepteurs, programmeurs et valideurs à multiplier les tâtonnements et les allers-retours, et interdisant toute maîtrise réelle des coûts et des délais de développement ? Seul un effort de formalisation peut accroître la précision et la rigueur des spécifications. Les méthodes et outils correspondants devront naturellement s'appuyer sur des bases théoriques solides et éprouvées :l'informatique aussi doit avoir ses " outils mathématiques pour l'ingénieur " ! Ce sont ces bases théoriques, ces fondements mathématiques de la spécification formelle, que l'auteur présente ici dans un panorama synthétique qui relie, sous le fil conducteur de la logique, l'étonnante diversité des modèles proposés à ce jour. Le lecteur ne trouvera pas dans ce livre des recettes pour bien utiliser telle ou telle méthode formelle, mais plutôt l'outillage conceptuel qui lui permettra d'aborder et de maîtriser n'importe quelle méthode particulière. Introduction aux méthodes formelles est la deuxième édition de l'ouvrage publié en 1996 sous le titre Comprendre les méthodes formelles. Son organisation a été complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.

  • Jusqu'à 15 % de vos achats sont reversés à nos partenaires caritatifs. En savoir plus

  • Votre achat contribue à réaliser notre mission : "diffuser la passion de la culture. Avec chacun, pour tous". En offrant une seconde vie à ces produits, vous réduisez le gaspillage de papier et soutenez les actions de nos associations partenaires.

  • Livraison gratuite à partir de 30€ d'achat (en France métropolitaine)

    Colis Privé Colissimo Chronopost

  • Retours jusqu'à 30 jours après l'achat

  • Besoin d'aide ? Obtenez une réponse de notre service d'assistance dans les 24 heures pendant les jours ouvrables.

  • Paiement sécurisé

  • Acheter sur Amazon

  • Éditeur
    Hermes Science Publications
  • ISBN-10
    2746201402
  • ISBN-13
    9782746201408
  • Format
    Broché
  • Année
    2000
  • Pages
    351
  • État
    Bon
  • Description
    Ancien livre de bibliothèque. Légères traces d’usure sur la couverture. Edition 2000.
  • Artiste
    Jean-François Monin
  • Typologies
    Livre
  • Référence
    E-505-871

  • Notre mission est de "Diffuser la passion de la culture. Avec chacun, pour tous." Cela signifie que chaque achat que vous effectuez chez nous contribue à la réalisation de cette mission ambitieuse.

    Acheter sur ammareal.fr va au-delà de l'acte d'achat lui-même. C'est un engagement en faveur de la culture, de l'éducation, de l'inclusion sociale, de la durabilité environnementale et de l'économie circulaire. Rejoignez-nous dans notre mission et faites partie de la communauté qui partage notre passion pour la culture et notre engagement envers un monde meilleur pour tous.

  • Un produit culturel d'occasion est un bien culturel préalablement possédé par un tiers et qui est proposé à la vente. Ces produits comprennent des livres, des CD, des DVD et d'autres supports culturels. Ils sont soigneusement vérifiés pour s'assurer de leur qualité et de leur état avant d'être mis en vente sur notre site. En choisissant des produits culturels d'occasion, vous contribuez à la réduction de la consommation de ressources et à la promotion d'une démarche écocitoyenne en prolongeant la durée de vie des biens culturels existants.

  • Les produits que vous trouvez sur notre site proviennent de diverses sources écocitoyennes, notamment des particuliers, des bibliothèques, des médiathèques, des associations, des entreprises et d'autres partenaires engagés dans une démarche de durabilité. Nous mettons un point d'honneur à promouvoir la réutilisation et le recyclage des biens culturels, contribuant ainsi à la préservation de l'environnement tout en offrant des produits culturels de qualité à nos clients.

  • Notre politique de retour est conçue pour garantir votre satisfaction en tant que client. Chez ammareal.fr, nous comprenons que parfois, un article peut ne pas répondre à vos attentes. C'est pourquoi nous vous offrons la flexibilité d'une politique de retour pouvant aller jusqu'à 30 jours.

    Retrouvez plus d’informations sur notre page dédiée à la politique de retour .

  • Nous offrons deux modes de paiement pratiques pour faciliter vos achats :

    Paiement par carte bancaire : Nous acceptons les principales cartes de crédit et de débit, ce qui vous permet de régler vos achats en toute sécurité et simplicité en utilisant votre carte préférée.

    PayPal: Si vous préférez utiliser PayPal, vous pouvez sélectionner cette option lors de la finalisation de votre commande. PayPal offre une sécurité accrue pour vos transactions en ligne.

Couverture du produit · Introduction aux méthodes formelles. 2ème édition
Introduction aux méthodes formelles. 2ème édition 18,37 €

Ammareal vous recommande

Découvrir l'auteur / Découvrir la catégorie
Découvrir l'auteur Découvrir la catégorie