Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

54.00 CHF
+ 9.99 CHF Livraison

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marque: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marque: Unbranded
Prix : 54.00 CHF
Verkocht door:
54.00 CHF
+ 9.99 CHF Livraison

Seulement 1 disponible(s)

Nous acceptons les modes de paiement suivants

Description

Software programs are formal entities with precise meanings independent of their programmers so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduatelevel introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours.
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Auteur: Siraj Ahmed Shaikh
  • Date de publication: 2023-06-24
  • Editeur / Label: Springer Nature Swit
  • Format: Paperback
  • Langue: English
  • Longueur: 524
  • Identifiant Fruugo: 339437055-744601969
  • ISBN: 9783030388027

Livraison & retours

Expédition dans les 24 heures

  • STANDARD: 9.99 CHF - Livraison entre ven. 26 septembre 2025–jeu. 02 octobre 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