Formal Methods in Computer Science

189.00 CHF
+ 3.99 CHF Livraison

Formal Methods in Computer Science

Verkocht door:

Formal Methods in Computer Science

189.00 CHF

Seulement 1 disponible(s)
+ 3.99 CHF Livraison
Verkocht door:

189.00 CHF

Seulement 1 disponible(s)
+ 3.99 CHF Livraison

Nous acceptons les modes de paiement suivants

Description

Ce manuel donne aux étudiants une introduction complète aux méthodes formelles et à leur application dans la spécification et la vérification des logiciels et du matériel.
  • Marque: Taylor & Francis Ltd
  • Catégorie: Informatique et Internet
  • Auteur: Jiacun Wang
  • Date de publication: 24/01/2022
  • Nombre de pages: 294
  • Editeur / Label: Taylor & Francis Ltd
  • Format: Couverture cartonnée
  • Langue: Anglais
  • Identifiant Fruugo: 434316648-911523779
  • ISBN: 9780367225704

Livraison & retours

Expédition dans un délai de 6 jours

  • STANDARD: 3.99 CHF - Livraison entre mer. 10 décembre 2025–mar. 30 décembre 2025

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