Z: An Introduction to Formal Methods

69.00 CHF
+ 8.49 CHF Livraison
  • product image
Z : une introduction aux méthodes formelles

Z: An Introduction to Formal Methods

Verkocht door:

Z: An Introduction to Formal Methods

69.00 CHF

Économisez 15.00 CHF (17%)

Prix de vente recommandé

84.00 CHF
En stock
+ 8.49 CHF Livraison

Politique de retour sur 14 jours

Verkocht door:

69.00 CHF

Économisez 15.00 CHF (17%)

Prix de vente recommandé

84.00 CHF
En stock
+ 8.49 CHF Livraison

Politique de retour sur 14 jours

Modes de paiement:

Description

Z: An Introduction to Formal Methods

Offre un tutoriel d’introduction complet et complet à Z. Utilise la notation standard avec des exercices pratiques et des descriptions et explications claires. Contient de l’information sur la façon d’établir un lien entre les spécifications Z et le code de programme réel et est amélioré pour refléter les normes linguistiques les plus récentes.
  • Marque: John Wiley & Sons Inc
  • Catégorie: Informatique et Internet
  • Auteur: Antoni Diller (Université de Birmingham)
  • Date de publication: 02/05/2023
  • Nombre de pages: 400
  • Editeur / Label: John Wiley & fils Inc
  • Format: Livre de poche
  • Langue: Anglais
  • Identifiant Fruugo: 346738017-757978109
  • ISBN: 9780471939733

Livraison & retours

Expédition dans un délai de 6 jours

  • STANDARD: 8.49 CHF - Livraison entre mar. 06 janvier 2026–lun. 26 janvier 2026

Expédition de Royaume-Uni.

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