A Practical Theory of Programming

77,30 €
+ 6,99 € Livraison
  • product image

A Practical Theory of Programming

  • Marque: Unbranded
Verkocht door:

A Practical Theory of Programming

  • Marque: Unbranded

77,30 €

En stock
+ 6,99 € Livraison

Politique de retour sur 14 jours

Verkocht door:

77,30 €

En stock
+ 6,99 € Livraison

Politique de retour sur 14 jours

Modes de paiement:

Description

A Practical Theory of Programming

1 Basic Theories. - Boolean Theory. - Number Theory. - Character Theory. - 2 Basic Data Structures. - Bunch Theory. - Set Theory. - String Theory. - List Theory. - 3 Function Theory. - Functions. - Quantifiers. - Function Fine Points. - 4 Program Theory. - Specifications. - Program Development. - Time. - Robustness. - Refinement in Place. - 5 Programming Language. - Scope. - Data Structures. - Control Structures. - Time Dependence. - Assertions. - Subprogram. - Alias. - Functional Programming. - 6 Recursive Definition. - Recursive Data Definition. - Recursive Program Definition. - Limits. - 7 Theory Design and Implementation. - Data Theories. - Program Theories. - Specification by Implementation. - 8 Concurrency. - Independent Composition. - Circuit Design. - Found Concurrency. - 9 Communication. - Implementability. - Input and Output. - Recursively Defined Communication. - Input Composition. - Reaction Controller. - Communicating Processes. - Power Series Multiplication. - 10 Exercises. - Basic Theories. - Basic Data Structures. - Function Theory. - Program Theory. - Programming Language. - Recursive Definition. - Theory Design and Implementation. - Concurrency. - Communication. - 11 Reference. - Justifications. - Sources. - Axioms and Laws. - Symbols and Names. - Precedence. Language: English
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Date de publication: 2012/09/03
  • Editeur / Label: Springer
  • Format: Paperback
  • Langue: English
  • Artiste: Eric C.R. Hehner
  • Identifiant Fruugo: 337890735-741550043
  • ISBN: 9781461264446

Livraison

Expédition dans un délai de 4 jours

  • STANDARD: 10,29 € - Livraison entre ven. 24 juillet 2026–mer. 29 juillet 2026

Expédition de Royaume-Uni.

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