Modeling in Event-B

189,00 €
+ 6,99 € Livraison

Modeling in Event-B

Vendu par:
  • product image

189,00 €

En stock
+ 6,99 € Livraison

Politique de retour sur 14 jours

Protection de l'acheteur

Modes de paiement:

  • Marque: Unbranded
Détails du produit

Détails du produit

Modeling in Event-B

A practical text suitable for an introductory or advanced course in formal methods this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and more generally discrete systems but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments including sequential programs concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set which is available free for download at www. event-b. org. Language: English
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Nombre de pages: 614
  • Date de publication: 2010/05/13
  • Editeur / Label: Cambridge University Press
  • Format: Hardback
  • Langue: English
  • Artiste: Abrial Jean-Raymond
  • Identifiant Fruugo: 337998498-741659387
  • ISBN: 9780521895569
Engagement

Garantie du vendeur

Garantie légale de 2 ans incluse

Vos droits de consommateur dans l'UE incluent une garantie légale gratuite d'une durée minimale de 2 ans

Télécharger la garantie légale de conformité
Livraison

Livraison

Expédition dans un délai de 5 jours

  • STANDARD: 6,99 € - Livraison entre mar. 27 octobre 2026–ven. 30 octobre 2026

Expédition de Royaume-Uni.

Retours

Retours et annulations

Retours

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et selon vos indications. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et recevoir un remboursement complet des articles.

Voir l'intégralité de la politique de retour

Annulations

Vous disposez d'un droit de rétractation de 14 jours à compter de la réception de votre commande, sans avoir à justifier de motif. Pour exercer facilement ce droit, vous pouvez utiliser le lien « Annuler ma commande » situé en bas de chaque page ou dans votre compte Fruugo, rubrique « Commandes ». Une fois votre droit de rétractation exercé, nous vous enverrons un accusé de réception par e-mail. Si votre commande a déjà été expédiée par le vendeur, nous vous fournirons les instructions de retour nécessaires pour un remboursement rapide.

Consulter l'intégralité de la politique d'annulation